From 00c2929b62f3a1af5c7c2308e81449e8f9054784 Mon Sep 17 00:00:00 2001
From: Philippe Dosch <Philippe.Dosch@loria.fr>
Date: Thu, 29 Mar 2018 16:03:46 +0200
Subject: [PATCH] Un makefile pour la refcard

---
 Makefile-refcard | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 Makefile-refcard

diff --git a/Makefile-refcard b/Makefile-refcard
new file mode 100644
index 0000000..39df5ed
--- /dev/null
+++ b/Makefile-refcard
@@ -0,0 +1,24 @@
+TEXENGINE = latexmk -xelatex
+COURSENAME = gitrefcard
+SOURCES_TEX := \
+	gitrefcard.tex
+
+all: refcard
+
+refcard: gitrefcard.pdf
+
+gitrefcard.pdf: $(SOURCES_TEX)
+	$(TEXENGINE) $(COURSENAME)
+
+gitrefcard.ilg: $(SOURCES_TEX)
+	makeindex -s mesindex.ist $(COURSENAME)
+
+final: $(SOURCES_TEX) gitrefcard.ilg
+	$(TEXENGINE) $(COURSENAME)
+	makeindex -s mesindex.ist $(COURSENAME)
+	$(TEXENGINE) $(COURSENAME)
+
+clean:
+	/bin/rm -f *~ *.dvi *.log *.aux *.flg *.tmp *.ch *.bbl *.blg *.bat *.lof *.toc *.idx *.ind *.ilg *.out *.snm *.nav *.fls *.fdb_latexmk
+
+
-- 
GitLab