texinfo/tp texi2any.pl

[Patrice Dumas]

CVSROOT:        /sources/texinfo
Module name:    texinfo
Changes by:     Patrice Dumas <pertusus>        12/04/20 21:09:55

Modified files:
        tp             : texi2any.pl 

Log message:
        Add an EXEC in front of the message showing how texi2dvi is called.

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/texinfo/tp/texi2any.pl?cvsroot=texinfo&r1=1.125&r2=1.126

Patches:
Index: texi2any.pl
===================================================================
RCS file: /sources/texinfo/texinfo/tp/texi2any.pl,v
retrieving revision 1.125
retrieving revision 1.126
diff -u -b -r1.125 -r1.126
--- texi2any.pl 20 Apr 2012 18:52:48 -0000      1.125
+++ texi2any.pl 20 Apr 2012 21:09:55 -0000      1.126
@@ -1225,7 +1225,7 @@
 
 if ($call_texi2dvi) {
   if (get_conf('DEBUG') or get_conf('VERBOSE')) {
-    print STDERR "".join('|', (get_conf('TEXI2DVI'), @texi2dvi_args,  @ARGV)) 
+    print STDERR "EXEC ".join('|', (get_conf('TEXI2DVI'), @texi2dvi_args,  
@ARGV)) 
        ."\n";
   }
   exec { get_conf('TEXI2DVI') } (get_conf('TEXI2DVI'), @texi2dvi_args,  @ARGV);