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