-
Matthieu Schaller authored
Handle disable doxygen configure option Previously this broke when using the --disable-doxygen-doc option as detailed in #44. See merge request !33 Former-commit-id: 840b6991d97b81feacf07cce60fc9e4193da78de
b46e36d3
Handle disable doxygen configure option Previously this broke when using the --disable-doxygen-doc option as detailed in #44. See merge request !33 Former-commit-id: 840b6991d97b81feacf07cce60fc9e4193da78de