projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0668979) | patch
Turn sphinx generation into a function (#7181)
authorGereon Kremer <nafur42@gmail.com>
Tue, 14 Sep 2021 18:09:27 +0000 (20:09 +0200)
committerGitHub <noreply@github.com>
Tue, 14 Sep 2021 18:09:27 +0000 (18:09 +0000)
commit14cc305b4bc705cf7759960a843f7d1ca6f55ca3
treec83941c8a4afe74fc7ce728ce4d3f0ce02a00a65tree
parent06689796a7eddffb7b0d56aa2cc7917ab6bab602commit | diff
Turn sphinx generation into a function (#7181)

This PR refactors the generation of the command line help for sphinx to a function, just like all the other code generation methods.
src/main/options_template.cpp diff | blob | history
src/options/mkoptions.py diff | blob | history