custom-theme has been removed, no need to copy it in genpdf.sh

PhilippSalvisberg · PhilippSalvisberg · commit 0946317eb765 · 2022-08-13T14:21:57.000+02:00
diff --git a/tools/run-in-container/genpdf.sh b/tools/run-in-container/genpdf.sh
@@ -7,7 +7,6 @@ function create_target_dir(){
 
 function copy_resources() {
     cp ${DATA_DIR}/mkdocs.yml ${TARGET_DIR}/mkdocs.yml
-    cp -r ${DATA_DIR}/custom-theme ${TARGET_DIR}/custom-theme
     cp -r ${DATA_DIR}/docs/images ${TARGET_DIR}/docs
     cp -r ${DATA_DIR}/docs/stylesheets ${TARGET_DIR}/docs/stylesheets
 }

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,6 @@ function create_target_dir(){`
`7`	`7`
`8`	`8`	`function copy_resources() {`
`9`	`9`	`cp ${DATA_DIR}/mkdocs.yml ${TARGET_DIR}/mkdocs.yml`
`10`		`- cp -r ${DATA_DIR}/custom-theme ${TARGET_DIR}/custom-theme`
`11`	`10`	`cp -r ${DATA_DIR}/docs/images ${TARGET_DIR}/docs`
`12`	`11`	`cp -r ${DATA_DIR}/docs/stylesheets ${TARGET_DIR}/docs/stylesheets`
`13`	`12`	`}`