From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Sat, 19 Jun 2021 04:16:29 +0000 (-0700)
Subject: docs: Fix config to produce unique Sphinx section labels. (#6767)
X-Git-Tag: cvc5-1.0.0~1586
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8f98fded91cb6b7a0099d10bd4c5155e9e9ef9b6;p=cvc5.git

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

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