gnulib-tool.texi: mention possibility of git submodule

[gnulib.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 305af77..fbefd1b 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -14,4 +14,5 @@ gnulib.info-1
 gnulib.info-2
 gnulib.info-3
 gnulib.html
+gnulib.pdf
 updated-stamp