--- embedaddon/readline/doc/texi2dvi	2014/07/30 08:16:46	1.1
+++ embedaddon/readline/doc/texi2dvi	2014/07/30 08:16:46	1.1.1.1
@@ -1,6 +1,6 @@
 #! /bin/sh
 # texi2dvi --- produce DVI (or PDF) files from Texinfo (or LaTeX) sources.
-# $Id: texi2dvi,v 1.1 2014/07/30 08:16:46 misho Exp $
+# $Id: texi2dvi,v 1.1.1.1 2014/07/30 08:16:46 misho Exp $
 #
 # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2001,
 # 2002, 2003 Free Software Foundation, Inc.
@@ -25,7 +25,7 @@
 # the `--debug' option when making a bug report.
 
 # This string is expanded by rcs automatically when this file is checked out.
-rcs_revision='$Revision: 1.1 $'
+rcs_revision='$Revision: 1.1.1.1 $'
 rcs_version=`set - $rcs_revision; echo $2`
 program=`echo $0 | sed -e 's!.*/!!'`
 version="texi2dvi (GNU Texinfo 4.5) $rcs_version