[Git] Ignore files generated for html documentation

parent f9c1f30b