diff options
| author | Étienne Loks <etienne.loks@iggdrasil.net> | 2018-10-02 17:05:35 +0200 |
|---|---|---|
| committer | Étienne Loks <etienne.loks@iggdrasil.net> | 2018-10-02 17:05:35 +0200 |
| commit | c37107c6390de2dc40b3b55f30f6dad0c2df3b66 (patch) | |
| tree | d1ad9dff5dadb232af52c241361ecfb08846cd70 /docs/fr/Makefile | |
| parent | 946f30d3d3071160e25d180cc4f2797bdac8060d (diff) | |
| download | Ishtar-c37107c6390de2dc40b3b55f30f6dad0c2df3b66.tar.bz2 Ishtar-c37107c6390de2dc40b3b55f30f6dad0c2df3b66.zip | |
Doc: updates
Diffstat (limited to 'docs/fr/Makefile')
| -rw-r--r-- | docs/fr/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/fr/Makefile b/docs/fr/Makefile index 24ff3e64e..cf7d5af04 100644 --- a/docs/fr/Makefile +++ b/docs/fr/Makefile @@ -41,13 +41,13 @@ dot: filename=$$(basename -- "$$FILE") ; \ extension="$${filename##*.}" ; \ filename="$${filename%.*}" ; \ - echo $$extension ; \ - echo $$filename ; \ - dot -Tpng source/media-src/$$filename.dot > \ - source/_static/$$filename.png ; \ + dot -Tsvg source/media-src/$$filename.dot > \ + source/media-src/$$filename.svg ; \ + #dot -Tpng source/media-src/$$filename.dot > \ + # source/_static/$$filename.png ; \ done -html: dot +html: $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." |