In this commit, lots of changes to make it so that the automatic generated labels are prefixed and then used throughout the doc. Also, no more manual TOC when Sphinx gives us a nice auto generated one.
Also, other small changes for warnings from Sphinx.
In this commit, lots of changes to make it so that the automatic generated labels are prefixed and then used throughout the doc. Also, no more manual TOC when Sphinx gives us a nice auto generated one.
Also, other small changes for warnings from Sphinx.