From 6f5d74b261a3571b1915710d729af5d6ceb8804e Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 3 Oct 2018 11:07:43 +0200
Subject: [PATCH] docs: make sure images are built/cleaned on sphinx targets

Related D454
---
 docs/Makefile       |  1 +
 docs/Makefile.local | 14 ++++++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 docs/Makefile.local

diff --git a/docs/Makefile b/docs/Makefile
index c30c50ab..b97c7532 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -1 +1,2 @@
 include ../../swh-docs/Makefile.sphinx
+-include Makefile.local
diff --git a/docs/Makefile.local b/docs/Makefile.local
new file mode 100644
index 00000000..352ffd35
--- /dev/null
+++ b/docs/Makefile.local
@@ -0,0 +1,14 @@
+sphinx/html: images
+sphinx/clean: clean-images
+
+images:
+	make -C images/
+clean-images:
+	make -C images/ clean
+
+.PHONY: images clean-images
+
+
+# Local Variables:
+# mode: makefile
+# End:
-- 
GitLab