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