diff options
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/Makefile.in | 9 |
1 files changed, 6 insertions, 3 deletions
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. |