diff options
Diffstat (limited to 'doc/map-viewer/tools/generate-doc.sh')
-rwxr-xr-x | doc/map-viewer/tools/generate-doc.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/map-viewer/tools/generate-doc.sh b/doc/map-viewer/tools/generate-doc.sh index 0d501e3..c1497fa 100755 --- a/doc/map-viewer/tools/generate-doc.sh +++ b/doc/map-viewer/tools/generate-doc.sh @@ -39,3 +39,6 @@ rm *.html #concatenate pdf files pdftk $INPUT_FILE1 $INPUT_FILE2 cat output $OUTPUT_DIR/$OUTPUT_FILE +sleep 1 +rm $INPUT_FILE2 + |