texinfo update (Sat Jun 3 16:52:01 EDT 2006)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.603
retrieving revision 1.604
diff -u -r1.603 -r1.604
--- ChangeLog   2 Jun 2006 22:03:55 -0000       1.603
+++ ChangeLog   3 Jun 2006 20:36:11 -0000       1.604
@@ -1,3 +1,7 @@
+2006-06-03  Karl Berry  <address@hidden>
+
+       * util/texi2dvi: always report tex command being used.
+
 2006-06-02  Karl Berry  <address@hidden>
 
        * util/texi2dvi (--src-specials): new option,
Index: util/texi2dvi
===================================================================
RCS file: /sources/texinfo/texinfo/util/texi2dvi,v
retrieving revision 1.82
retrieving revision 1.83
diff -u -r1.82 -r1.83
--- util/texi2dvi       2 Jun 2006 22:03:55 -0000       1.82
+++ util/texi2dvi       3 Jun 2006 20:31:29 -0000       1.83
@@ -1,6 +1,6 @@
 #! /bin/sh
 # texi2dvi --- produce DVI (or PDF) files from Texinfo (or (La)TeX) sources.
-# $Id: texi2dvi,v 1.82 2006/06/02 22:03:55 karl Exp $
+# $Id: texi2dvi,v 1.83 2006/06/03 20:31:29 karl Exp $
 #
 # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2001,
 # 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
@@ -35,7 +35,7 @@
 set -e
 
 # This string is expanded by rcs automatically when this file is checked out.
-rcs_revision='$Revision: 1.82 $'
+rcs_revision='$Revision: 1.83 $'
 rcs_version=`set - $rcs_revision; echo $2`
 program=`echo $0 | sed -e 's!.*/!!'`
 version="texi2dvi (GNU Texinfo 4.8) $rcs_version
@@ -743,7 +743,7 @@
       ;;
   esac
 
-  verbose "Running $cmd ..."
+  echo "$0: Running $cmd ..."
   if eval "$cmd" >&5; then
     move_to_dest "$in_noext.$out_lang"
   else
P ChangeLog
P util/texi2dvi