diff options
| -rw-r--r-- | doc/build_this.rst | 2 | ||||
| -rw-r--r-- | src/doc/Makefile.in | 5 |
2 files changed, 4 insertions, 3 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 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 |