diff --git a/docs/Makefile b/docs/Makefile
index c30c50ab01ec91da18f0718b7cfd052f046c2e44..b97c7532e5b946df72b8641f22f6e3e2ba84602c 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 0000000000000000000000000000000000000000..352ffd352651af5bb929bc5b2c081e77cb42c401
--- /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: