diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2019-11-26 23:08:53 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2019-11-29 10:52:10 +0100 |
commit | fe3bbb9b3de5001ba943d3be7109712847ec44ef (patch) | |
tree | 342d67fdc5a661d2238e2444f1dd778647c5c0b1 /src/python/doc/conf.py | |
parent | 8ebfb8c5de9c55a20e3dafebc8f506ccb698bb68 (diff) |
Fix various links for sphinx
and some minor doc changes along the way.
(why were we documenting a hasse diagram that doesn't exist?)
Diffstat (limited to 'src/python/doc/conf.py')
-rwxr-xr-x | src/python/doc/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/python/doc/conf.py b/src/python/doc/conf.py index 64d9cba1..3cc5d1d6 100755 --- a/src/python/doc/conf.py +++ b/src/python/doc/conf.py @@ -41,6 +41,7 @@ extensions = [ 'sphinx.ext.viewcode', 'sphinx.ext.napoleon', 'sphinxcontrib.bibtex', + 'sphinx_paramlinks', ] todo_include_todos = True |