New module 'ptsname'.

[pspp] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 0f6240852382b8991374ab7d5a51358d4de2be5b..f17baef2cdb516a1537aa9be03132717204ab413 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -13,3 +13,8 @@ gnulib.info
 gnulib.info-1
 gnulib.info-2
 gnulib.info-3
+gnulib.info-4
+gnulib.info-5
+gnulib.html
+gnulib.pdf
+updated-stamp