2020-07-24 19:54:06 +02:00
|
|
|
#!/bin/sh
|
|
|
|
# This uses installed fonts, which vary between systems
|
|
|
|
# Segoe UI and Consolas are standard in Windows 10, DejaVu is more common on Linux
|
|
|
|
echo Building $1.pdf
|
|
|
|
|
|
|
|
MainFont="Segoe UI"
|
|
|
|
MonoFont="Consolas"
|
|
|
|
|
|
|
|
is_font_installed() {
|
|
|
|
fontname=$1
|
|
|
|
fc-list | grep -i "$fontname" >/dev/null
|
|
|
|
}
|
|
|
|
|
|
|
|
if ! is_font_installed "$MainFont"; then
|
|
|
|
MainFont="DejaVu Sans"
|
|
|
|
fi
|
|
|
|
if ! is_font_installed "$MonoFont"; then
|
|
|
|
MonoFont="DejaVu Sans Mono"
|
|
|
|
fi
|
|
|
|
|
|
|
|
# echo Using $MainFont / $MonoFont
|
|
|
|
|
|
|
|
pandoc $1.md -o $1.pdf -s --number-sections --toc \
|
|
|
|
--pdf-engine=xelatex \
|
|
|
|
--listings \
|
|
|
|
-f markdown \
|
|
|
|
-V mainfont="$MainFont" \
|
2021-01-20 18:43:49 +01:00
|
|
|
-V monofont="$MonoFont" \
|
2020-07-24 19:54:06 +02:00
|
|
|
-V geometry:a4paper \
|
|
|
|
-V geometry:margin=2.4cm \
|
|
|
|
-V subparagraph \
|
|
|
|
-H manual-style.tex
|