From a757191570b22884d5d02d317de7609cd808a69a Mon Sep 17 00:00:00 2001
From: Orestis Malaspinas <orestis.malaspinas@hesge.ch>
Date: Mon, 8 Oct 2018 14:31:10 +0200
Subject: [PATCH] export pdf too

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 084b5d8..ae9937b 100644
--- a/Makefile
+++ b/Makefile
@@ -34,6 +34,7 @@ all: $(HTML) $(PDF)
 deploy: all
 	mkdir -p mti
 	cp cours.html mti/index.html
+	cp cours.pdf mti/cours.pdf
 
 clean:
 	rm -rf *.html *.pdf
-- 
GitLab