summaryrefslogtreecommitdiff
path: root/src/python/doc/python3-sphinx-build.py
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-12-12 10:00:10 +0100
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-12-12 10:00:10 +0100
commit38f0ff98cf6da1e882b6b44fc3ed7b3d310fb91f (patch)
treecd5aeb1fc71bb14ff95015e6345efc3e6cada158 /src/python/doc/python3-sphinx-build.py
parent94118b7c5c723bf62dcdafd404d492e8d78d0019 (diff)
Doc review: use ctest directly and provide options suggestions
Diffstat (limited to 'src/python/doc/python3-sphinx-build.py')
0 files changed, 0 insertions, 0 deletions