diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -1,13 +1,17 @@ | |||
1 | LISTEFICHIERS=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 | 1 | LISTEFICHIERS=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 | ||
3 | all: aventuriers.pdf aventuriers.html | 3 | all: aventuriers.pdf |
4 | |||
5 | tout: aventuriers.pdf aventuriers.html | ||
6 | |||
7 | html: aventuriers.html | ||
4 | 8 | ||
5 | aventuriers.pdf: $(LISTEFICHIERS) | 9 | aventuriers.pdf: $(LISTEFICHIERS) |
6 | pdflatex aventuriers.tex | 10 | pdflatex aventuriers.tex |
7 | 11 | ||
8 | aventuriers.html: $(LISTEFICHIERS) | 12 | aventuriers.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 | ||
13 | update: aventuriers.pdf aventuriers.html $(LISTEFICHIERS) makefile | 17 | update: aventuriers.pdf aventuriers.html $(LISTEFICHIERS) makefile |