Sphinx extension which outputs Devhelp documents
