Ignore mp-xquery-pdf

[mp-xquery-moved-to-github.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 74f0863..51c33dd 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -4,3 +4,4 @@ htmlhelp.hhp
 local.ent
 manref.xml
 toc.hhc
+mp-xquery.pdf