From 89737fe81b8dd77757ff3ace74c66a45124b36d3 Mon Sep 17 00:00:00 2001
From: Étienne Loks <etienne.loks@iggdrasil.net>
Date: Tue, 2 Oct 2018 17:05:35 +0200
Subject: Doc: updates

---
 docs/fr/Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'docs/fr/Makefile')

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