From 6d2bfd4c4c20d77a93b77e9132086c3dc7081f44 Mon Sep 17 00:00:00 2001
From: Étienne Loks <etienne.loks@iggdrasil.net>
Date: Tue, 2 Oct 2018 13:28:46 +0200
Subject: Update documentation

---
 docs/fr/Makefile | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'docs/fr/Makefile')

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."
-- 
cgit v1.2.3