gitignore: ignore documentation build files