texinfo update (Sat May 20 16:52:01 EDT 2006)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.591
retrieving revision 1.592
diff -u -r1.591 -r1.592
--- ChangeLog   19 May 2006 00:07:52 -0000      1.591
+++ ChangeLog   20 May 2006 20:37:02 -0000      1.592
@@ -1,3 +1,12 @@
+2006-05-20  Karl Berry  <address@hidden>
+
+       * util/texi2dvi (run_makeinfo): use $TEX instead of hardwiring
+       tex, to maybe avoid running into some
+       misconfigured TeX installations, resulting in
+        ---! /var/lib/texmf/web2c/etex.fmt was written by pdfetex
+        (Fatal format file error; I'm stymied)
+       Original report from Ralf Wildenhues, 12 May 2006 11:19:13 +0200.
+
 2006-05-18  Ralf Wildenhues  <address@hidden>
 
        * util/gendocs.sh: quoting, url fixes.
Index: util/texi2dvi
===================================================================
RCS file: /sources/texinfo/texinfo/util/texi2dvi,v
retrieving revision 1.77
retrieving revision 1.78
diff -u -r1.77 -r1.78
--- util/texi2dvi       13 Mar 2006 16:47:33 -0000      1.77
+++ util/texi2dvi       20 May 2006 20:36:30 -0000      1.78
@@ -1,6 +1,6 @@
 #! /bin/sh
 # texi2dvi --- produce DVI (or PDF) files from Texinfo (or (La)TeX) sources.
-# $Id: texi2dvi,v 1.77 2006/03/13 16:47:33 karl Exp $
+# $Id: texi2dvi,v 1.78 2006/05/20 20:36:30 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.77 $'
+rcs_revision='$Revision: 1.78 $'
 rcs_version=`set - $rcs_revision; echo $2`
 program=`echo $0 | sed -e 's!.*/!!'`
 version="texi2dvi (GNU Texinfo 4.8) $rcs_version
@@ -902,7 +902,7 @@
          echo '\input texinfo.tex @bye' >txiversion.tex
          # Be sure that if tex wants to fail, it is not interactive:
          # close stdin.
-         tex txiversion.tex </dev/null >txiversion.out 2>txiversion.err
+         $TEX txiversion.tex </dev/null >txiversion.out 2>txiversion.err
       )
       if test $? != 0; then
         cat $version_test_dir/txiversion.out
P ChangeLog
P util/texi2dvi