summaryrefslogtreecommitdiff
path: root/lambda-calcul/support/Makefile
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.bailly@iohk.io>2025-01-25 10:45:41 +0100
committerArnaud Bailly <arnaud.bailly@iohk.io>2025-01-25 10:45:41 +0100
commit7752d73216578d5961751b5d0535088d384b4aa6 (patch)
tree786e46fe1276e93ade0a48398cd4c9ac13081707 /lambda-calcul/support/Makefile
parentd6f68e919db51d366c8ca3c1509bea12aa81d692 (diff)
downloadlambda-nantes-7752d73216578d5961751b5d0535088d384b4aa6.tar.gz
Move λ-calcul workshop code to subdirectory
Diffstat (limited to 'lambda-calcul/support/Makefile')
-rw-r--r--lambda-calcul/support/Makefile11
1 files changed, 11 insertions, 0 deletions
diff --git a/lambda-calcul/support/Makefile b/lambda-calcul/support/Makefile
new file mode 100644
index 0000000..2a45ef1
--- /dev/null
+++ b/lambda-calcul/support/Makefile
@@ -0,0 +1,11 @@
+all: 2024-10-10.pdf
+
+%.pdf: %.md
+ pandoc -t beamer -f markdown+implicit_figures \
+ -V theme:default -V aspectratio:169 \
+ --pdf-engine=xelatex \
+ -V monofont='DejaVu Sans Mono' \
+ $(<) -o $(@)
+
+clean:
+ rm -rf *.pdf