diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 18:37:45 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 18:37:45 +0100 |
| commit | b2ee60e31ea7f4b48a84269c41e7db7ffaaa061f (patch) | |
| tree | 6abe2adc58a409d1cef97890d7e44575d8341b84 /lambda-calcul/support/Makefile | |
| parent | 300a61340ff1744ea3241c9744c80ce2215df74c (diff) | |
| download | lambda-nantes-b2ee60e31ea7f4b48a84269c41e7db7ffaaa061f.tar.gz | |
add slides for newcrafts
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: |