sphinx extension which outputs Devhelp document
