diff options
| author | Théo Zimmermann | 2018-08-30 09:59:14 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-30 09:59:14 +0200 |
| commit | 0745b31e986b79692e4e282877555963d0f26a8f (patch) | |
| tree | cfa8b67d68f2e75343f1b8647509ce8f22ae5662 /doc | |
| parent | 831d899ef214c55fb8fb50c804ea4d9da3b63d65 (diff) | |
| parent | cc35d211ad7550d23d64828c177936990c08d681 (diff) | |
Merge PR #8292: Create SPHINXWARNERROR variable to control Sphinx "warn as error" argument in make
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/README.md | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/doc/README.md b/doc/README.md index 6c6e1f01fb..3e70bc443d 100644 --- a/doc/README.md +++ b/doc/README.md @@ -9,7 +9,7 @@ The Coq documentation includes The documentation of the latest released version is available on the Coq web site at [coq.inria.fr/documentation](http://coq.inria.fr/documentation). -Additionnally, you can view the documentation for the current master version at +Additionally, you can view the documentation for the current master version at <https://gitlab.com/coq/coq/-/jobs/artifacts/master/file/_install_ci/share/doc/coq/sphinx/html/index.html?job=documentation>. The reference manual is written is reStructuredText and compiled @@ -89,6 +89,18 @@ Alternatively, you can use some specific targets: Also note the `-with-doc yes` option of `./configure` to enable the build of the documentation as part of the default make target. +If you're editing Sphinx documentation, set SPHINXWARNERROR to 0 +to avoid treating Sphinx warnings as errors. Otherwise, Sphinx quits +upon detecting the first warning. You can set this on the Sphinx `make` +command line or as an environment variable: + +- `make sphinx SPINXWARNERROR=0` + +- ~~~ + export SPHINXWARNERROR=0 + ⋮ + make sphinx + ~~~ Installation ------------ |