Option to disable documentation generation added

This commit is contained in:
Mateusz Pusz
2020-06-16 17:44:07 +02:00
parent 54df464b1d
commit 50623e492e

View File

@@ -20,6 +20,11 @@
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
# SOFTWARE.
option(GENERATE_DOCS "Generate project documenation" ON)
if(NOT GENERATE_DOCS)
return()
endif()
find_package(Doxygen REQUIRED)
find_package(Sphinx REQUIRED)