From 203e344ab57a7a04de65b4663d92cccb92ae2d64 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Mon, 1 Oct 2007 01:06:50 +0200 Subject: [PATCH] Ignore files created by makeinfo or texi2dvi. --- doc/.gitignore | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 doc/.gitignore diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000000..0f62408523 --- /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 -- 2.30.2