diff options
| author | Ben Kaduk <kaduk@mit.edu> | 2012-11-27 18:45:59 -0500 |
|---|---|---|
| committer | Ben Kaduk <kaduk@mit.edu> | 2012-12-11 16:34:58 -0500 |
| commit | 7b6758a09f92ccc386022bcc86e3a5fea472fdce (patch) | |
| tree | 44572f18370e4578c8ab7f0dcacac4f80350ff73 /doc | |
| parent | f6ef297fe537de3712fce751bad8a597ef32e0ed (diff) | |
Make sphinx warnings fatal for doc build
We currently do not have any warnings. Let us keep it that way by
making warnings fatal in maintainer-mode (and configurable on the
buildslaves). Using sphinx-build -W also causes errors to be reported
in the exit status and picked up by make, which is quite useful.
In order to allow the build bot to use -W but end-users to not use it,
SPHINX_ARGS must be passed on the command line; it cannot be set by
the convenience target 'htmlsrc'. Document this.
ticket: 7468 (new)
tags: pullup
target_version: 1.11
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build_this.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/build_this.rst b/doc/build_this.rst index 4177f58dd..d31ee232b 100644 --- a/doc/build_this.rst +++ b/doc/build_this.rst @@ -62,7 +62,7 @@ paths. You can also do this from an unconfigured source tree with:: cd src/doc - make -f Makefile.in htmlsrc + make -f Makefile.in SPHINX_ARGS= htmlsrc Building for an OS package or site documentation |