Merged in issue830-fix-manual-rebuild (pull request #97)
32b4245·Author: Felix Krull·Closed by: Helder Correia·2018-05-20
Description
I removed the REBUILD_MANUAL flag. Instead, the HTML docs now need to be built separately, using doc/src/CMakeLists.txt. Then, you can pass the HTML_DOCS_DIR flag to the main build to use something other than the bundled copy.
This adds a separate step if you don't want to use the prebuilt docs, but it gets rid of some of the magic bits in CMakeLists.txt which seems like a good tradeoff.
I removed the REBUILD_MANUAL flag. Instead, the HTML docs now need to be built separately, using
doc/src/CMakeLists.txt. Then, you can pass theHTML_DOCS_DIRflag to the main build to use something other than the bundled copy.This adds a separate step if you don't want to use the prebuilt docs, but it gets rid of some of the magic bits in
CMakeLists.txtwhich seems like a good tradeoff.Fixes issue #830.