docs label disambiguation

2021-01-08 20:11:21 -08:00
parent 558cff7469
commit 7e092c655b
27 changed files with 72 additions and 69 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -190,3 +190,6 @@ texinfo_documents = [
 intersphinx_mapping = {'python' : ('https://docs.python.org/', None),
                       'boom' : ('https://docs.boom-core.org/en/latest/', None),
                        'firesim' : ('http://docs.fires.im/en/latest/', None) }
+
+# resolve label conflict between documents
+autosectionlabel_prefix_document = True