diff options
author | Brian Norris | 2015-08-31 11:16:08 -0700 |
---|---|---|
committer | Jonathan Corbet | 2015-09-13 14:38:49 -0600 |
commit | 2d774bd047fcbf8d2a1f470dbe7c9875f9074b11 (patch) | |
tree | 8a9c9a0d59ab218781e53178efd335c2c84288cb /Documentation | |
parent | 6ff33f3902c3b1c5d0db6b1e2c70b6d76fba357f (diff) |
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>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/DocBook/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/DocBook/.gitignore b/Documentation/DocBook/.gitignore index 7ebd5465d927..baa80b056847 100644 --- a/Documentation/DocBook/.gitignore +++ b/Documentation/DocBook/.gitignore @@ -11,5 +11,6 @@ *.png *.gif *.svg +*.proc media-indices.tmpl media-entities.tmpl |