Sphinx extension which outputs HTML help book
