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

[gnulib.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 305af77..8d6623a 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,6 +1,8 @@
 gnulib.aux
+gnulib.cn
 gnulib.cp
 gnulib.cps
+gnulib.dvi
 gnulib.fn
 gnulib.ky
 gnulib.log
@@ -13,5 +15,10 @@ gnulib.info
 gnulib.info-1
 gnulib.info-2
 gnulib.info-3
+gnulib.info-4
+gnulib.info-5
+gnulib.info-6
 gnulib.html
+gnulib.pdf
+regex.info
 updated-stamp