diff --git a/Makefile b/Makefile index b038685..82e6366 100644 --- a/Makefile +++ b/Makefile @@ -55,7 +55,9 @@ debug: -ex "load" docs: + $(RM) -rf docs/build/html/* $(MAKE) -C docs html + touch docs/build/html/.nojekyll sim: