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 <[email protected]>
---
 Documentation/DocBook/.gitignore | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.5.0.457.gab17608

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to