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 /src/doc | |
parent | f6ef297fe537de3712fce751bad8a597ef32e0ed (diff) | |
download | krb5-7b6758a09f92ccc386022bcc86e3a5fea472fdce.tar.gz krb5-7b6758a09f92ccc386022bcc86e3a5fea472fdce.tar.xz krb5-7b6758a09f92ccc386022bcc86e3a5fea472fdce.zip |
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 'src/doc')
-rw-r--r-- | src/doc/Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in index 1d977284a..1986f8f7c 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -1,7 +1,8 @@ mydir=doc BUILDTOP=$(REL).. -SPHINX_BUILD=sphinx-build +SPHINX_ARGS=@MAINT@-W +SPHINX_BUILD=sphinx-build $(SPHINX_ARGS) DOXYGEN=doxygen docsrc=$(top_srcdir)/../doc @@ -37,7 +38,7 @@ LATEXOPTS= # release tarball or the web site (that is, without substitutions for # configured paths). This can be done in an unconfigured source tree # as: -# make -f Makefile.in htmlsrc +# make -f Makefile.in SPHINX_ARGS= htmlsrc html: composite rm -rf $(docsrc)/html $(SPHINX_BUILD) -q rst_composite $(docsrc)/html |