diff --git a/docs/Makefile.local b/docs/Makefile.local index 352ffd3..fbd18f2 100644 --- a/docs/Makefile.local +++ b/docs/Makefile.local @@ -1,14 +1,15 @@ sphinx/html: images sphinx/clean: clean-images +assets: images images: make -C images/ clean-images: make -C images/ clean .PHONY: images clean-images # Local Variables: # mode: makefile # End: