doc: ignore the generated html/ directory