diff --git a/docs/Makefile b/docs/Makefile
index c30c50a..b97c753 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 0000000..352ffd3
--- /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: