X-Git-Url: http://git.indexdata.com/?p=mp-xquery-moved-to-github.git;a=blobdiff_plain;f=doc%2F.gitignore;fp=doc%2F.gitignore;h=51c33dd1f826b195c744c07ee5f74d7461fce74b;hp=74f08632d636bb6c759f42dd522987724dd3738c;hb=74bb998d21ae08400f3840edf8c6a4c37bc15117;hpb=6b5aa21237fe92092d4add78dff041f33c995d19 diff --git a/doc/.gitignore b/doc/.gitignore index 74f0863..51c33dd 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -4,3 +4,4 @@ htmlhelp.hhp local.ent manref.xml toc.hhc +mp-xquery.pdf