diff options
| author | lloyd <[email protected]> | 2011-04-18 16:09:22 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2011-04-18 16:09:22 +0000 |
| commit | 886252ce1a1b0de611c33c9eac0a91a0e6bf3276 (patch) | |
| tree | aeeb6126457b207a4b5a12dab489265ef61f232d /doc | |
| parent | 6c33aa3e97cb9717d89fcae61f18dd58b2569866 (diff) | |
Rename --use-sphinx and --use-doxygen to --with-sphinx and
--with-doxygen, and add no-op --without versions for both. This makes
it easier to script the build in Gentoo's ebuild.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/log.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/log.txt b/doc/log.txt index ca83c9bfe..ff0beca78 100644 --- a/doc/log.txt +++ b/doc/log.txt @@ -13,9 +13,9 @@ Version 1.10.0, Not Yet Released * Further updates to the documentation * New options to ``configure.py`` control what tools are used for - documentation generation. The ``--use-sphinx`` option enables using + documentation generation. The ``--with-sphinx`` option enables using Sphinx to convert ReST into HTML; otherwise the ReST sources are - installed directly. If ``--use-doxygen`` is used, Doxygen will run + installed directly. If ``--with-doxygen`` is used, Doxygen will run as well. Documentation generation can be triggered via the ``docs`` target in the makefile; it will also be installed by the install target on Unix. |