diff --git a/docs/Makefile.local b/docs/Makefile.local index 352ffd352651af5bb929bc5b2c081e77cb42c401..fbd18f25c39c2079906b2f347b56eb3cda797e0f 100644 --- 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/