Do not commit silly html format doc