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