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 + doc/version.texi | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 doc/version.texi (limited to 'doc') 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 diff --git a/doc/version.texi b/doc/version.texi deleted file mode 100644 index 5df65c28..00000000 --- a/doc/version.texi +++ /dev/null @@ -1 +0,0 @@ -@set VERSION 0.2 -- cgit v1.2.3