diff options
Diffstat (limited to 'src/cython/doc/Makefile')
-rw-r--r-- | src/cython/doc/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/cython/doc/Makefile b/src/cython/doc/Makefile index fc353a37..be3ff7c4 100644 --- a/src/cython/doc/Makefile +++ b/src/cython/doc/Makefile @@ -47,9 +47,13 @@ help: @echo " doctest to run all doctests embedded in the documentation (if enabled)" clean: + rm -f examples.inc rm -rf $(BUILDDIR)/* +# GUDHI specific : Examples.inc is generated with generate_examples.py (and deleted on clean) + html: + ./generate_examples.py $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." |