From a4df9fbd1e22a75eda2959765e58888dbcc6e42b Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 8 Apr 2012 23:10:14 +0200 Subject: Remove generated files. * configure: Remove file. * .gitignore: Update. * doc/version.texi: Remove file. * doc/.gitignore: Update. --- doc/.gitignore | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/.gitignore') diff --git a/doc/.gitignore b/doc/.gitignore index aee7bb93..5f3dadac 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,2 +1,3 @@ /*.info /*.info-* +/version.texi -- cgit v1.2.3