diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -17,6 +17,7 @@ aventuriers.pdf: $(LISTEFICHIERS) | |||
17 | 17 | ||
18 | 18 | ||
19 | html/aventuriers.html: $(LISTEFICHIERS) | 19 | html/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 | ||