Index: readline/doc/texi2dvi |
diff --git a/readline/doc/texi2dvi b/readline/doc/texi2dvi |
index 83c08425da4b5eb5141f4facb12fa15470e1e3b1..a9165a58bd0e433b9478a9382daaf2ccb71b16fa 100755 |
--- a/readline/doc/texi2dvi |
+++ b/readline/doc/texi2dvi |
@@ -1,6 +1,6 @@ |
#! /bin/sh |
# texi2dvi --- produce DVI (or PDF) files from Texinfo (or LaTeX) sources. |
-# $Id: texi2dvi,v 1.14 2003/02/05 00:42:33 karl Exp $ |
+# $Id$ |
# |
# 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.14 $' |
+rcs_revision='$Revision$' |
rcs_version=`set - $rcs_revision; echo $2` |
program=`echo $0 | sed -e 's!.*/!!'` |
version="texi2dvi (GNU Texinfo 4.5) $rcs_version |