Cleanup for Github pages
Generated doc