diff options
Diffstat (limited to 'lambda-calcul/support/Makefile')
| -rw-r--r-- | lambda-calcul/support/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lambda-calcul/support/Makefile b/lambda-calcul/support/Makefile index 960c5a0..f54b70a 100644 --- a/lambda-calcul/support/Makefile +++ b/lambda-calcul/support/Makefile @@ -1,11 +1,11 @@ -all: 2024-10-10.pdf 2025-10-09.pdf +all: 2024-10-10.pdf 2025-10-09.pdf newcrafts-2025.pdf %.pdf: %.md pandoc -t beamer -f markdown+implicit_figures \ -i -V theme:default -V aspectratio:169 \ --pdf-engine=xelatex \ - -V monofont='mononoki' \ - -V mainfont='mononoki' \ + -V monofont='DejaVu Sans Mono' \ + -V mainfont='DejaVu Sans' \ $(<) -o $(@) clean: |