docs: Fix config to produce unique Sphinx section labels. (#6767)

diff --git a/docs/conf.py.in b/docs/conf.py.in
index 35f0b3dd22fd5f3469c41dbe243cd51e6a685f41..4447d144170f50dc8d9d8e269f1c4baa5f090d78 100644 (file)
--- 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 5e17d524b01eb076d948accc132abe4d5d951df4..4132d15451c6bd056a4348930b7aed42f9cc4975 100644 (file)
--- 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