diff --git a/.gitignore b/.gitignore
index f3d58d0..c625e93 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,4 @@
 .direnv
 .envrc
-build
+_build
 *~
diff --git a/Makefile b/Makefile
index 0cfde7f..10aa0a6 100644
--- a/Makefile
+++ b/Makefile
@@ -151,3 +151,5 @@ doctest:
 	$(SPHINXBUILD) -b doctest $(ALLSPHINXOPTS) $(BUILDDIR)/doctest
 	@echo "Testing of doctests in the sources finished, look at the " \
 	      "results in $(BUILDDIR)/doctest/output.txt."
+
+check: html
diff --git a/development.rst b/development.rst
index b1381c5..0881661 100644
--- a/development.rst
+++ b/development.rst
@@ -90,8 +90,8 @@ Build the documentation
 
 1. Build::
 
-     $ sphinx-build -b html . build/html
+     $ make html
 
 2. Display::
 
-     $ firefox build/html/index.html
+     $ firefox _build/html/index.html