diff options
Diffstat (limited to 'docs/preview.sh')
| -rwxr-xr-x | docs/preview.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/preview.sh b/docs/preview.sh index 8814f1b6..57e106a7 100755 --- a/docs/preview.sh +++ b/docs/preview.sh @@ -57,6 +57,7 @@ if [ -n "${cleanup}" ] then tempdir=$(mktemp -d) clean() { + sleep 1 rm -rf ${tempdir} } trap clean 0 @@ -77,5 +78,4 @@ for input in "$@"; do asciidoctor -aversion-label=${name} -arevnumber=${version} \ -b ${backend} -o ${output} $input $view $output - sleep 1 done |