From b2ee60e31ea7f4b48a84269c41e7db7ffaaa061f Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 18:37:45 +0100 Subject: add slides for newcrafts --- lambda-calcul/support/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lambda-calcul/support/Makefile') 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: -- cgit v1.3.1