* .gitignore: ignore generated documentation