diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-06-18 21:16:29 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-19 04:16:29 +0000 |
| commit | 8f98fded91cb6b7a0099d10bd4c5155e9e9ef9b6 (patch) | |
| tree | 90d5e8ed91dd5dac6151b5b773fe8b101c341bac | |
| parent | 34c5774e511ebb2e5e9672cb7381797c3cd6264e (diff) | |
docs: Fix config to produce unique Sphinx section labels. (#6767)
| -rw-r--r-- | docs/conf.py.in | 3 | ||||
| -rw-r--r-- | docs/examples/examples.rst | 8 |
2 files changed, 8 insertions, 3 deletions
diff --git a/docs/conf.py.in b/docs/conf.py.in index 35f0b3dd2..4447d1441 100644 --- a/docs/conf.py.in +++ b/docs/conf.py.in @@ -49,6 +49,9 @@ extensions = [ bibtex_bibfiles = ['references.bib'] +# Make sure the target is unique +autosectionlabel_prefix_document = True + # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] diff --git a/docs/examples/examples.rst b/docs/examples/examples.rst index 5e17d524b..4132d1545 100644 --- a/docs/examples/examples.rst +++ b/docs/examples/examples.rst @@ -1,13 +1,15 @@ Examples =========== -The following examples show how the APIs (:ref:`cpp-api`, :ref:`python-api`) and input languages can be used. -For every example, the same problem is constructed and solved using different input mechanisms. +The following examples show how the APIs (:ref:`cpp-api`, :ref:`python-api`) +and input languages can be used. +For every example, the same problem is constructed and solved using different +input mechanisms. .. toctree:: :maxdepth: 2 - + helloworld exceptions bitvectors |