From 036593fbc852272b9029eb0727201667568be5a5 Mon Sep 17 00:00:00 2001 From: Peter Gillich Date: Fri, 15 Mar 2024 19:00:16 +0100 Subject: [PATCH] Configurable font size in PDF --- README.md | 28 ++++++++++++++++++++++++++++ generate.sh | 8 ++++++++ 2 files changed, 36 insertions(+) diff --git a/README.md b/README.md index ecb4861..fa6d5d0 100644 --- a/README.md +++ b/README.md @@ -62,6 +62,7 @@ The build for the above Docker image can be audited at +* +* + # Known Issues - metadata is not complete. There are just too many authors diff --git a/generate.sh b/generate.sh index e001f49..bf6f94a 100755 --- a/generate.sh +++ b/generate.sh @@ -12,6 +12,13 @@ export ${BOOKS[${BOOK_SLUG^^}]} # Common vars. IMGS_DOMAIN="lh3.googleusercontent.com" +PDF_OPTIONS=() +for i in ${!PDF_OPT_*}; do + declare -n val=$i + key=${i#PDF_OPT_} + PDF_OPTIONS+=("-V" "${key,,}=${val}"); +done + # Make sure that links are relative \ # # Remove the /sre/ directories # Save stuff in html/ directory @@ -96,6 +103,7 @@ pandoc --from=html \ -V subparagraph \ -V geometry=margin=2cm \ -V fig_caption=false \ + ${PDF_OPTIONS[@]} \ --columns=60 \ complete.html