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/conf.py.in | |
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/conf.py.in')
-rw-r--r-- | docs/conf.py.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/conf.py.in b/docs/conf.py.in index f6e75b9b5..07a4d8a76 100644 --- a/docs/conf.py.in +++ b/docs/conf.py.in @@ -43,6 +43,7 @@ extensions = [ 'sphinxcontrib.bibtex', 'sphinx_tabs.tabs', 'examples', + 'include_build_file', ] bibtex_bibfiles = ['references.bib'] @@ -69,3 +70,6 @@ html_css_files = ['custom.css'] # -- Breathe configuration --------------------------------------------------- breathe_default_project = "cvc5" breathe_domain_by_extension = {"h" : "cpp"} + +# where to look for include-build-file +ibf_folders = ['${CMAKE_CURRENT_BINARY_DIR}'] |