diff --git a/docs/Makefile.local b/docs/Makefile.local index 0c674634..a07ab913 100644 --- a/docs/Makefile.local +++ b/docs/Makefile.local @@ -1,21 +1,25 @@ sphinx/html: sql-autodoc images sphinx/clean: clean-sql-autodoc clean-images sql-autodoc: make -C ../sql/ doc images: make -C images/ clean-images: make -C images/ clean clean: clean-sql-autodoc clean-images clean-sql-autodoc: make -C ../sql/ clean +distclean: clean distclean-sql-autodoc +distclean-sql-autodoc: + make -C ../sql/ distclean + .PHONY: sql-autodoc clean-sql-autodoc images clean-images # Local Variables: # mode: makefile # End: