diff options
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." |