Another small Sphinx fix

SpiNNakerManchester / PACMAN

Partition and Configuration Manager for SpiNNaker

Apache License 2.0

9 stars 7 forks source link

Closed dkfellows closed 3 years ago

dkfellows commented 3 years ago

Remove option not supported on RTD (-q just means “quiet” and we don't need it).