diff --git a/Makefile b/Makefile index c25e812..ec693da 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,7 @@ .PHONY: doc clean test doc: + python tools/docgen.py cd docs && $(MAKE) html clean: