summaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/makefile b/makefile
index cd27a85..505df34 100644
--- a/makefile
+++ b/makefile
@@ -17,6 +17,7 @@ aventuriers.pdf: $(LISTEFICHIERS)
17 17
18 18
19html/aventuriers.html: $(LISTEFICHIERS) 19html/aventuriers.html: $(LISTEFICHIERS)
20 mkdir html
20 nice -19 htlatex aventuriers.tex '' '' -dhtml/ -interaction=nonstopmode 21 nice -19 htlatex aventuriers.tex '' '' -dhtml/ -interaction=nonstopmode
21# ln -sf aventuriers.html html/index.html 22# ln -sf aventuriers.html html/index.html
22 23