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 185e349..8bcdd9e 100644
--- a/makefile
+++ b/makefile
@@ -22,6 +22,7 @@ aventuriers.pdf: $(LISTEFICHIERS)
22html/aventuriers.html: $(LISTEFICHIERS) 22html/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
26symbole.png: symbole.svg 27symbole.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