diff options
| author | Orivej Desh <orivej@gmx.fr> | 2018-06-12 01:14:10 (GMT) |
|---|---|---|
| committer | Brad King <brad.king@kitware.com> | 2018-06-12 14:25:37 (GMT) |
| commit | 276e369813f100562c3e22020635552edfb722a2 (patch) | |
| tree | 8df0588a5b93781d3c714ad20f3a4cc605b65ddb /bootstrap | |
| parent | 90ebc32d9e7400a590973b30c99f2986bcb2b755 (diff) | |
| download | CMake-276e369813f100562c3e22020635552edfb722a2.zip CMake-276e369813f100562c3e22020635552edfb722a2.tar.gz CMake-276e369813f100562c3e22020635552edfb722a2.tar.bz2 | |
Utilities/Sphinx: Add option to build and install Info manual
Add option `SPHINX_INFO` to enable the Sphinx 'texinfo' builder and use
the `makeinfo` tool to convert it to a `.info` file.
Diffstat (limited to 'bootstrap')
| -rwxr-xr-x | bootstrap | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -72,6 +72,7 @@ cmake_init_file="" cmake_bootstrap_system_libs="" cmake_bootstrap_qt_gui="" cmake_bootstrap_qt_qmake="" +cmake_sphinx_info="" cmake_sphinx_man="" cmake_sphinx_html="" cmake_sphinx_qthelp="" @@ -578,6 +579,7 @@ Configuration: --no-qt-gui do not build the Qt-based GUI (default) --qt-qmake=<qmake> use <qmake> as the qmake executable to find Qt + --sphinx-info build Info manual with Sphinx --sphinx-man build man pages with Sphinx --sphinx-html build html help with Sphinx --sphinx-qthelp build qch help with Sphinx @@ -816,6 +818,7 @@ while test $# != 0; do --qt-gui) cmake_bootstrap_qt_gui="1" ;; --no-qt-gui) cmake_bootstrap_qt_gui="0" ;; --qt-qmake=*) cmake_bootstrap_qt_qmake=`cmake_arg "$1"` ;; + --sphinx-info) cmake_sphinx_info="1" ;; --sphinx-man) cmake_sphinx_man="1" ;; --sphinx-html) cmake_sphinx_html="1" ;; --sphinx-qthelp) cmake_sphinx_qthelp="1" ;; @@ -1489,6 +1492,11 @@ if [ "x${cmake_bootstrap_qt_qmake}" != "x" ]; then set (QT_QMAKE_EXECUTABLE "'"${cmake_bootstrap_qt_qmake}"'" CACHE FILEPATH "Location of Qt qmake" FORCE) ' >> "${cmake_bootstrap_dir}/InitialCacheFlags.cmake" fi +if [ "x${cmake_sphinx_info}" != "x" ]; then + echo ' +set (SPHINX_INFO "'"${cmake_sphinx_info}"'" CACHE BOOL "Build Info manual with Sphinx" FORCE) +' >> "${cmake_bootstrap_dir}/InitialCacheFlags.cmake" +fi if [ "x${cmake_sphinx_man}" != "x" ]; then echo ' set (SPHINX_MAN "'"${cmake_sphinx_man}"'" CACHE BOOL "Build man pages with Sphinx" FORCE) |