diff --git a/docs/Makefile b/docs/Makefile index e38bc91731d..fdff066a39a 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -69,6 +69,7 @@ help: .PHONY: clean clean: rm -rf $(BUILDDIR)/* + rm -rf source/python/generated/* .PHONY: html html: