diff options
| author | Ben Kaduk <kaduk@mit.edu> | 2012-12-11 00:13:30 -0500 |
|---|---|---|
| committer | Ben Kaduk <kaduk@mit.edu> | 2012-12-11 16:34:58 -0500 |
| commit | f6ef297fe537de3712fce751bad8a597ef32e0ed (patch) | |
| tree | cf97199a762d0ec9872b2a536938b330440a7761 /doc | |
| parent | f2cec6d908a8b15908f4de199540e5ad3486882b (diff) | |
Make building docs easier in an unconfigured tree
Instead of requiring the user to specify srcdir, top_srcdir, PYTHON,
and possibly more in the future, make an 'htmlsrc' target that does so
for them.
This also lets us do the clean in the same step, so that only one
command is required of the user.
ticket: 7491 (new)
tags: pullup
target_version: 1.11
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build_this.rst | 3 |
1 files changed, 1 insertions, 2 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 |