Update instructions for building docs

penguinpee · penguinpee · commit f262e75361c4 · 2024-04-02T12:13:49.000+02:00
The top level `Makefile` is outdated. This circumvents its use.
diff --git a/doc/README.rst b/doc/README.rst
@@ -6,4 +6,4 @@ To build the documentation, change to the root directory (containing
 ``setup.py``) and run::
 
     pip install -r doc-requirements.txt
-    make html
+    make -C doc html
