summaryrefslogtreecommitdiff
path: root/docs/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'docs/Makefile')
-rw-r--r--docs/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile
index 9892785..5aff9cd 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -50,6 +50,8 @@ help:
.PHONY: clean
clean:
rm -rf $(BUILDDIR)/*
+ rm -rf source/gen_modules/*
+ rm -rf source/auto_examples/*
.PHONY: html
html: