Finish the documentation generation

The Sphinx automatic documentation generation has been fixed. Now html
documents can be successfully generated without any error or warnings.