From ababf9a6a2f2f9ce4e83b65f4415f102919fe975 Mon Sep 17 00:00:00 2001
From: Orestis Malaspinas <orestis.malaspinas@hesge.ch>
Date: Thu, 21 Nov 2019 13:51:55 +0100
Subject: [PATCH] added deploy to makefile

---
 Makefile | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index be1b453..6543116 100644
--- a/Makefile
+++ b/Makefile
@@ -21,9 +21,13 @@ HTMLOPTIONS += --mathjax=MathJax.js
 MD=$(wildcard *.md)
 HTML=$(MD:%.md=%.html)
 PDF=$(MD:%.md=%.pdf)
+TEX=$(MD:%.md=%.tex)
 
 
-all: $(HTML) $(PDF)
+all: $(HTML) $(TEX) $(PDF)
+
+%.tex: %.md Makefile
+	pandoc -s $(OPTIONS) $(PDFOPTIONS) -o $@ $<
 
 %.pdf: %.md Makefile
 	pandoc -s $(OPTIONS) $(PDFOPTIONS) -o $@ $<
@@ -35,6 +39,10 @@ deploy: all
 	mkdir -p mti
 	cp cours.html mti/index.html
 	cp cours.pdf mti/cours.pdf
+	mkdir -p mti/tpIntegrales
+	make -C tpIntegrales
+	cp tpIntegrales/*.pdf mti/tpIntegrales/
+	cp tpIntegrales/*.html mti/tpIntegrales/
 
 clean:
 	rm -rf *.html *.pdf
-- 
GitLab