| 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
|
|
|