.gitignore for the documentation build files