Ignore files created by makeinfo or texi2dvi.

diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644 (file)
index 0000000..0f62408
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1,15 @@
+gnulib.aux
+gnulib.cp
+gnulib.cps
+gnulib.fn
+gnulib.ky
+gnulib.log
+gnulib.pg
+gnulib.toc
+gnulib.tp
+gnulib.vr
+gnulib.vrs
+gnulib.info
+gnulib.info-1
+gnulib.info-2
+gnulib.info-3