diff options
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. |