GitHub repository: seqan/seqansphinx
Description: Sphinx extensions for SeqAn documentation