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 /src/options/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 'src/options/CMakeLists.txt')
| -rw-r--r-- | src/options/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt index 078c2ad31..997c6850a 100644 --- a/src/options/CMakeLists.txt +++ b/src/options/CMakeLists.txt @@ -74,10 +74,12 @@ add_custom_command( OUTPUT options.h options.cpp ${options_gen_cpp_files} ${options_gen_h_files} + ${CMAKE_BINARY_DIR}/docs/options_generated.rst COMMAND ${PYTHON_EXECUTABLE} ${CMAKE_CURRENT_LIST_DIR}/mkoptions.py ${CMAKE_CURRENT_LIST_DIR} + ${CMAKE_BINARY_DIR} ${CMAKE_CURRENT_BINARY_DIR} ${abs_toml_files} DEPENDS |