1 # Do not ignore these. The release procedure (web-manual-update)
2 # works in the src tree (even when run from the build tree) and leaves
3 # these files around. Since they take precedence over the files in
4 # the build tree, locally built manuals use obsolete auxiliary files.
6 # So don't hide them, give the maintainer a chance to clean them.