summaryrefslogtreecommitdiff
path: root/lambda-calcul/support/Makefile
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-10-13 09:18:10 +0200
committerArnaud Bailly <arnaud@pankzsoft.com>2025-10-13 09:18:10 +0200
commit21befc8c8ab2e91632f5341b4fa9425cf3c815ff (patch)
tree1b55f35081c09b399eab347f724c0bfa5b4cf8c9 /lambda-calcul/support/Makefile
parente580a8e4f2d44e646c6861197ef0fcf55aaba1d6 (diff)
downloadlambda-nantes-21befc8c8ab2e91632f5341b4fa9425cf3c815ff.tar.gz
update from workshop 2bis
Diffstat (limited to 'lambda-calcul/support/Makefile')
-rw-r--r--lambda-calcul/support/Makefile7
1 files changed, 4 insertions, 3 deletions
diff --git a/lambda-calcul/support/Makefile b/lambda-calcul/support/Makefile
index 2a45ef1..960c5a0 100644
--- a/lambda-calcul/support/Makefile
+++ b/lambda-calcul/support/Makefile
@@ -1,10 +1,11 @@
-all: 2024-10-10.pdf
+all: 2024-10-10.pdf 2025-10-09.pdf
%.pdf: %.md
pandoc -t beamer -f markdown+implicit_figures \
- -V theme:default -V aspectratio:169 \
+ -i -V theme:default -V aspectratio:169 \
--pdf-engine=xelatex \
- -V monofont='DejaVu Sans Mono' \
+ -V monofont='mononoki' \
+ -V mainfont='mononoki' \
$(<) -o $(@)
clean: