diff options
-rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -22,6 +22,7 @@ aventuriers.pdf: $(LISTEFICHIERS) | |||
22 | html/aventuriers.html: $(LISTEFICHIERS) | 22 | html/aventuriers.html: $(LISTEFICHIERS) |
23 | # mkdir -p html | 23 | # mkdir -p html |
24 | nice -19 htlatex aventuriers.tex "xhtml,charset=utf-8" " -cmozhtf -utf8" "" -interaction=nonstopmode | 24 | nice -19 htlatex aventuriers.tex "xhtml,charset=utf-8" " -cmozhtf -utf8" "" -interaction=nonstopmode |
25 | ln -sf aventuriers.html index.html | ||
25 | 26 | ||
26 | symbole.png: symbole.svg | 27 | symbole.png: symbole.svg |
27 | inkscape -D -z --file=symbole.svg --export-png=symbole.png --export-width=75 | 28 | inkscape -D -z --file=symbole.svg --export-png=symbole.png --export-width=75 |