use make html instead of sphinx-build and add make check

This commit is contained in:
Loïc Dachary 2021-06-18 10:49:51 +02:00
parent 7936edebe8
commit 74bac945ba
No known key found for this signature in database
GPG Key ID: 130A0B53C3EEB5FA
3 changed files with 5 additions and 3 deletions

2
.gitignore vendored
View File

@ -1,4 +1,4 @@
.direnv .direnv
.envrc .envrc
build _build
*~ *~

View File

@ -151,3 +151,5 @@ doctest:
$(SPHINXBUILD) -b doctest $(ALLSPHINXOPTS) $(BUILDDIR)/doctest $(SPHINXBUILD) -b doctest $(ALLSPHINXOPTS) $(BUILDDIR)/doctest
@echo "Testing of doctests in the sources finished, look at the " \ @echo "Testing of doctests in the sources finished, look at the " \
"results in $(BUILDDIR)/doctest/output.txt." "results in $(BUILDDIR)/doctest/output.txt."
check: html

View File

@ -90,8 +90,8 @@ Build the documentation
1. Build:: 1. Build::
$ sphinx-build -b html . build/html $ make html
2. Display:: 2. Display::
$ firefox build/html/index.html $ firefox _build/html/index.html