1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index 56e25856..34dc6f8d 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,4 +1,4 @@
-$Id: INSTALL,v 1.10 2011/10/16 23:14:08 karl Exp $
+$Id: INSTALL 5191 2013-02-23 00:11:18Z karl $
 INSTALL file for texinfo.
 
      Copyright 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,