summaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile8
1 files changed, 6 insertions, 2 deletions
diff --git a/makefile b/makefile
index 9125a17..3dc51bf 100644
--- a/makefile
+++ b/makefile
@@ -1,13 +1,17 @@
1LISTEFICHIERS=aventuriers.tex arc_5RCDA.tex arc_6_CI.tex arc_3RC.tex arc_libeseve.tex arc_JC.tex arc_4AD.tex arc_4.5_JCS.tex 1LISTEFICHIERS=aventuriers.tex arc_5RCDA.tex arc_6_CI.tex arc_3RC.tex arc_libeseve.tex arc_JC.tex arc_4AD.tex arc_4.5_JCS.tex
2 2
3all: aventuriers.pdf aventuriers.html 3all: aventuriers.pdf
4
5tout: aventuriers.pdf aventuriers.html
6
7html: aventuriers.html
4 8
5aventuriers.pdf: $(LISTEFICHIERS) 9aventuriers.pdf: $(LISTEFICHIERS)
6 pdflatex aventuriers.tex 10 pdflatex aventuriers.tex
7 11
8aventuriers.html: $(LISTEFICHIERS) 12aventuriers.html: $(LISTEFICHIERS)
9 htlatex aventuriers.tex '' '' -dhtml/ -interaction=nonstopmode 13 htlatex aventuriers.tex '' '' -dhtml/ -interaction=nonstopmode
10 ln -s aventuriers.html html/index.html 14 ln -sf aventuriers.html html/index.html
11 15
12 16
13update: aventuriers.pdf aventuriers.html $(LISTEFICHIERS) makefile 17update: aventuriers.pdf aventuriers.html $(LISTEFICHIERS) makefile