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 | 89737fe81b8dd77757ff3ace74c66a45124b36d3 (patch) | |
| tree | d1ad9dff5dadb232af52c241361ecfb08846cd70 /docs/fr/Makefile | |
| parent | 491c2ebc9ee1578575931c727c1ba4b0ef18e1ba (diff) | |
| download | Ishtar-89737fe81b8dd77757ff3ace74c66a45124b36d3.tar.bz2 Ishtar-89737fe81b8dd77757ff3ace74c66a45124b36d3.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." |