DocBook: ignore .proc files
These are generated as part of 'make htmldocs'. If we don't ignore them,
then most of our generated subdirectories get treated as "untracked" by
git.
Signed-off-by: Brian Norris <computersforpeace@gmail.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Brian Norris