diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-19 07:55:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-19 05:55:53 +0000 |
commit | 6dc5b7469cee015a3bcf25a1543123da6c8317fe (patch) | |
tree | 780a12ceb8a7c6ba063277e0297ae080e51cf306 /docs/CMakeLists.txt | |
parent | 4e6e168a5eb578df2bfd12becf7732cbdd23bc3a (diff) |
Generate command line options for sphinx docs (#6555)
This PR adds documentation about the command line options to the sphinx documentation. It is mostly a reformatted version of what --help would print.
Diffstat (limited to 'docs/CMakeLists.txt')
-rw-r--r-- | docs/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt index 4c5d9aa6c..99c4f3ab3 100644 --- a/docs/CMakeLists.txt +++ b/docs/CMakeLists.txt @@ -26,7 +26,7 @@ set(SPHINX_OUTPUT_DIR ${CMAKE_CURRENT_BINARY_DIR}/sphinx) configure_file(conf.py.in ${CMAKE_CURRENT_BINARY_DIR}/conf.py) add_custom_target(docs ALL - DEPENDS docs-cpp docs-python + DEPENDS docs-cpp docs-python gen-options COMMAND ${SPHINX_EXECUTABLE} -b html -c ${CMAKE_CURRENT_BINARY_DIR} |