NEWS.stable: log cherry-pick [e446f25]->[c092018] relocatable-shell: Update suggested...

[gnulib.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index b3d2a05..8d6623a 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -2,6 +2,7 @@ gnulib.aux
 gnulib.cn
 gnulib.cp
 gnulib.cps
+gnulib.dvi
 gnulib.fn
 gnulib.ky
 gnulib.log
@@ -16,6 +17,8 @@ gnulib.info-2
 gnulib.info-3
 gnulib.info-4
 gnulib.info-5
+gnulib.info-6
 gnulib.html
 gnulib.pdf
+regex.info
 updated-stamp