diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -17,9 +17,8 @@ aventuriers.pdf: $(LISTEFICHIERS) | |||
17 | 17 | ||
18 | 18 | ||
19 | html/aventuriers.html: $(LISTEFICHIERS) | 19 | html/aventuriers.html: $(LISTEFICHIERS) |
20 | mkdir html | 20 | mkdir -p html |
21 | nice -19 htlatex aventuriers.tex '' '' -dhtml/ -interaction=nonstopmode | 21 | nice -19 htlatex aventuriers.tex '' '' -dhtml/ -interaction=nonstopmode |
22 | # ln -sf aventuriers.html html/index.html | ||
23 | 22 | ||
24 | #updatepdf: aventuriers.pdf | 23 | #updatepdf: aventuriers.pdf |
25 | # scp aventuriers.pdf positon:public_html/aventuriers/ | 24 | # scp aventuriers.pdf positon:public_html/aventuriers/ |