diff --git a/docs/Makefile b/docs/Makefile index 8267fd8..b624916 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -52,9 +52,9 @@ dist: html cp -al build/html . @echo "Build finished. Final docs are in html/" -html: core api +html: api htmlcore -core: +htmlcore: mkdir -p build/html build/doctrees $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) build/html @echo