diff --git a/docs/Makefile.local b/docs/Makefile.local
--- a/docs/Makefile.local
+++ b/docs/Makefile.local
@@ -1,5 +1,6 @@
 sphinx/html: images
 sphinx/clean: clean-images
+assets: images
 
 images:
 	make -C images/