update docs

This commit is contained in:
2025-11-13 09:00:48 +01:00
parent 8ed9c07817
commit 4050de98c9
5 changed files with 25 additions and 10 deletions

View File

@@ -1,2 +1,2 @@
# covert the manual Markdown file to PDF
pandoc .\docs\manual.md -o .\docs\manual.pdf -V geometry:"a4paper, margin=2.5cm"
pandoc .\docs\manual.md -o .\docs\manual.pdf -V geometry:"a4paper, margin=2.5cm" -V header-includes="\usepackage[none]{hyphenat}" # -V header-includes="\lstset{escapeinside={(*@}{@*)}}" --include-in-header=.\docs\header.tex # --syntax-highlighting=idiomatic