diff options
| author | Étienne Loks <etienne.loks@iggdrasil.net> | 2018-10-02 13:28:46 +0200 |
|---|---|---|
| committer | Étienne Loks <etienne.loks@iggdrasil.net> | 2018-10-02 13:28:46 +0200 |
| commit | 6d2bfd4c4c20d77a93b77e9132086c3dc7081f44 (patch) | |
| tree | bab3425c309eaf25ab4b9d7b1a374b4c910e3d61 /docs/fr/Makefile | |
| parent | 5f8d692a804be6d4e0689a3c4c8ba71b0ce82f2b (diff) | |
| download | Ishtar-6d2bfd4c4c20d77a93b77e9132086c3dc7081f44.tar.bz2 Ishtar-6d2bfd4c4c20d77a93b77e9132086c3dc7081f44.zip | |
Update documentation
Diffstat (limited to 'docs/fr/Makefile')
| -rw-r--r-- | docs/fr/Makefile | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/docs/fr/Makefile b/docs/fr/Makefile index ddcbacfe8..24ff3e64e 100644 --- a/docs/fr/Makefile +++ b/docs/fr/Makefile @@ -36,7 +36,18 @@ help: clean: -rm -rf $(BUILDDIR)/* -html: +dot: + for FILE in `ls source/media-src/*.dot`; do \ + filename=$$(basename -- "$$FILE") ; \ + extension="$${filename##*.}" ; \ + filename="$${filename%.*}" ; \ + echo $$extension ; \ + echo $$filename ; \ + dot -Tpng source/media-src/$$filename.dot > \ + source/_static/$$filename.png ; \ + done + +html: dot $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." |