3 commits

Author	SHA1	Message	Date
Aaron Gyes	85a0ca66e0	We no longer have two doc systems, move sphinx_doc_src back to doc_src	2020-02-19 17:00:35 -08:00
Fabian Homborg	17116366dc	docs: Remove explicit .html links ... Instead, we link to rst labels, which could also work in non-html output, or if the section ever moves elsewhere. See #5696. [ci skip]	2019-04-30 13:11:33 +02:00
ridiculousfish	db90f421c0	Add design doc to Sphinx docs build	2019-02-24 18:22:52 -08:00