projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e936238) | patch
Generate docs conf.py by cmake (#6441)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 26 Apr 2021 20:48:40 +0000 (22:48 +0200)
committerGitHub <noreply@github.com>
Mon, 26 Apr 2021 20:48:40 +0000 (20:48 +0000)
commit23df1d5ed33207880f15f73b5e86580ac056e4ef
tree766deed187efea8aa2941f04b404321d3424e434tree
parente9362389e834d97ad2ef2a9c02d6c1fb57239524commit | diff
Generate docs conf.py by cmake (#6441)

This PR makes cmake generate the sphinx configuration file. This will simplify dynamically modifying this file in the future, for example to add custom paths within the build directory (for the python API).
docs/CMakeLists.txt diff | blob | history
docs/conf.py [deleted file] blob | history
docs/conf.py.in [new file with mode: 0644] blob