texinfo update (Mon Sep 17 20:53:01 EDT 2007)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.757
retrieving revision 1.758
diff -u -r1.757 -r1.758
--- ChangeLog   17 Sep 2007 22:27:08 -0000      1.757
+++ ChangeLog   18 Sep 2007 00:49:25 -0000      1.758
@@ -1,5 +1,8 @@
 2007-09-17  Karl Berry  <address@hidden>
 
+       * util/defs.in (TEXI2DVI_run): try "type" instead of "which".
+       Report from Michael Deutschmann, 13 Sep 2007 01:29:39.
+
        * util/defs.in (optionset_get): use `...`, not $(...).  Still too
        newfangled.  Report from Bert Deknuydt.
 
Index: util/defs.in
===================================================================
RCS file: /sources/texinfo/texinfo/util/defs.in,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -r1.11 -r1.12
--- util/defs.in        17 Sep 2007 22:27:09 -0000      1.11
+++ util/defs.in        18 Sep 2007 00:49:25 -0000      1.12
@@ -198,7 +198,7 @@
     set x --debug --verbose ${1+"$@"}
     shift
   fi
-  which texi2dvi
+  type texi2dvi
   texi2dvi ${1+"$@"} 2>stderr >stdout || exitcode=$?
   cat stderr
   cat stdout
P ChangeLog
P util/defs.in