diff options
-rw-r--r-- | sources/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/Makefile b/sources/Makefile index f390dee..636d5b7 100644 --- a/sources/Makefile +++ b/sources/Makefile @@ -30,9 +30,9 @@ clean: -rm -rf _build/* html: - $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) _build/html + $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) ../ @echo - @echo "Build finished. The HTML pages are in _build/html." + @echo "Build finished. The HTML pages are in ../" dirhtml: $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) _build/dirhtml |