rename temporary directory for pdf generation from work-pdf to pdf

Author: PhilippSalvisberg

.gitignore

@@ -10,7 +10,7 @@
 /material/manifest.json
 /MANIFEST
 /site
-/work-pdf
+/pdf
 
 # Distribution files
 /dist

tools/genpdf.sh

@@ -1,4 +1,4 @@
 #/bin/bash
 
 DATA_DIR="$(cd "$(dirname "${0}")/.." && pwd)"
-docker run -v ${DATA_DIR}:/data --rm -it trivadis/mktools bash -c "cd /data; ./tools/genpdf-in-container.sh"
+docker run -v ${DATA_DIR}:/data --rm -it trivadis/mktools bash -c "cd /data; ./tools/run-in-container/genpdf.sh"

tools/genpdf-in-container.sh renamed to tools/run-in-container/genpdf.sh

@@ -61,8 +61,8 @@ function convert_to_pdf(){
                 index.html ${DATA_DIR}/PLSQL-and-SQL-Coding-Guidelines.pdf
 }
 
-DATA_DIR="$(cd "$(dirname "${0}")/.." && pwd)"
-TARGET_DIR=${DATA_DIR}/work-pdf
+DATA_DIR="$(cd "$(dirname "${0}")/../.." && pwd)"
+TARGET_DIR=${DATA_DIR}/pdf
 
 create_target_dir
 copy_resources