Some more changes to the HTML generation procedure and its documentation.

This commit is contained in:
Rogier 2015-11-27 08:46:18 +01:00
parent 856d886241
commit b6189210d4
2 changed files with 36 additions and 1 deletions

View File

@ -43,7 +43,12 @@ elseif(USE_RST2HTML EQUAL -1)
message(STATUS "Conversion of documentation to html disabled (because python docutils not found)") message(STATUS "Conversion of documentation to html disabled (because python docutils not found)")
endif (DOCUTILS_FOUND) endif (DOCUTILS_FOUND)
elseif(USE_RST2HTML EQUAL 0) elseif(USE_RST2HTML EQUAL 0)
message(STATUS "Conversion of documentation to html disabled (because disabled previously)") if (DOCUTILS_FOUND)
set(USE_RST2HTML 1)
message(STATUS "Conversion of documentation to html enabled (because python docutils has become available)")
else (DOCUTILS_FOUND)
message(STATUS "Conversion of documentation to html disabled (because python docutils still not found)")
endif (DOCUTILS_FOUND)
elseif(USE_RST2HTML EQUAL 1) elseif(USE_RST2HTML EQUAL 1)
message(STATUS "Conversion of documentation to html enabled (because enabled previously)") message(STATUS "Conversion of documentation to html enabled (because enabled previously)")
endif(REQUIRE_HTML_DOCUMENTATION) endif(REQUIRE_HTML_DOCUMENTATION)

View File

@ -238,6 +238,8 @@ REQUIRE_HTML_DOCUMENTATION:
By default, HTML documentation will be generated if python-docutils is found, else By default, HTML documentation will be generated if python-docutils is found, else
it will not be generated. it will not be generated.
See also the note below.
DISABLE_HTML_DOCUMENTATION: DISABLE_HTML_DOCUMENTATION:
Whether to skip generation of HTML documentation, even if python-docutils could be Whether to skip generation of HTML documentation, even if python-docutils could be
found. found.
@ -247,6 +249,34 @@ DISABLE_HTML_DOCUMENTATION:
even if the converted documentation is available (e.g. because it was generated even if the converted documentation is available (e.g. because it was generated
manually). manually).
See also the note below.
HTML Documentation note:
If both REQUIRE_HTML_DOCUMENTATION and DISABLE_HTML_DOCUMENTATION are disabled,
then the question of whether HTML documentation will be generated depends on
whether python-docutils is installed. If installed, then henceforth HTML
documentation will be generated. If not installed, then it will not be generated.
As long as REQUIRE_HTML_DOCUMENTATION and DISABLE_HTML_DOCUMENTATION are both
disabled then, for consistency, once python-docutils has been found to be installed
and the decision has been made to generate HTML documentation, this decision persists.
If subsequently python-docutils is deinstalled, or can no longer be found, later
builds will fail, until the situation has been fixed. This can be done in several
ways:
- (Obviously:) Reinstalling python-docutils, or making sure it can be found.
- Enabling both REQUIRE_HTML_DOCUMENTATION and DISABLE_HTML_DOCUMENTATION. As this
is not a sensible combination, the build system will disable both, and it will
then also reevaluate the persistent decision to generate HTML documentation.
- Setting DISABLE_HTML_DOCUMENTATION to True to permanently disable generation of
HTML documentation.
- Setting DISABLE_HTML_DOCUMENTATION to True, running cmake, and then setting it
back to false. This will disable HTML generation until python-docutils is
available again.
Converting the Documentation Converting the Documentation
============================ ============================