Makes Sphinx more like other repo

SpiNNakerManchester / PACMAN

Partition and Configuration Manager for SpiNNaker

Apache License 2.0

9 stars 7 forks source link

Makes Sphinx more like other repo #379

Closed Christian-B closed 3 years ago

Christian-B commented 3 years ago

Inlcudes fixes from https://github.com/SpiNNakerManchester/SpiNNFrontEndCommon/pull/806

Christian-B commented 3 years ago

Merge done but Branch left for @dkfellows to review that nothing was lost. if nothing was lost please delete branch

dkfellows commented 3 years ago

That looks fine at first glance. I think the code that got replaced was the remnants of stuff that was there for debugging what's going on inside Sphinx…

The proof of the pudding is in the eating. Do the docs look right? If so, we're fine! 😆

dkfellows commented 3 years ago

And it doesn't work on RTD. -q option unsupported…