diff options
| -rw-r--r-- | doc/build_this.rst | 3 | ||||
| -rw-r--r-- | src/doc/Makefile.in | 9 |
2 files changed, 7 insertions, 5 deletions
diff --git a/doc/build_this.rst b/doc/build_this.rst index 26ba0479c..4177f58dd 100644 --- a/doc/build_this.rst +++ b/doc/build_this.rst @@ -62,8 +62,7 @@ paths. You can also do this from an unconfigured source tree with:: cd src/doc - make -f Makefile.in top_srcdir=.. srcdir=. PYTHON=python html - make -f Makefile.in clean + make -f Makefile.in htmlsrc Building for an OS package or site documentation diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in index 5f378bc85..1d977284a 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -36,13 +36,16 @@ LATEXOPTS= # Create HTML documentation in $(docsrc)/html suitable for a # release tarball or the web site (that is, without substitutions for # configured paths). This can be done in an unconfigured source tree -# with: -# make -f Makefile.in srcdir=. top_srcdir=.. PYTHON=python html -# make -f Makefile.in clean +# as: +# make -f Makefile.in htmlsrc html: composite rm -rf $(docsrc)/html $(SPHINX_BUILD) -q rst_composite $(docsrc)/html +# Dummy target for use in an unconfigured source tree. +htmlsrc: + $(MAKE) -f Makefile.in srcdir=. top_srcdir=.. PYTHON=python html clean + # Create HTML documentation in html_subst suitable for # installation by an OS package, with substitutions for configured # paths. |