[6641] avoid comparisons of dvi, log or pdf files

[Gavin D. Smith]

Revision: 6641
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=6641
Author:   gavin
Date:     2015-09-23 16:19:29 +0000 (Wed, 23 Sep 2015)
Log Message:
-----------
avoid comparisons of dvi, log or pdf files

Modified Paths:
--------------
    trunk/ChangeLog
    trunk/util/texi2dvi

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2015-09-23 14:53:24 UTC (rev 6640)
+++ trunk/ChangeLog     2015-09-23 16:19:29 UTC (rev 6641)
@@ -1,5 +1,16 @@
 2015-09-23  Gavin Smith  <address@hidden>
 
+       * util/texi2dvi (generated_files_get_from_fls): Exclude files 
+       ending in any of the extensions 'dvi', 'log' or 'pdf'.
+
+2015-09-23  Gavin Smith  <address@hidden>
+
+       * util/texi2dvi (check_openout_in_log_support): Allow any file 
+       number after '\openout' in the log, not just 0, because \openout2
+       appeared with LaTeX.
+
+2015-09-23  Gavin Smith  <address@hidden>
+
        * doc/texinfo.texi (Format with texi2dvi): Update to reflect new 
        default for TEXI2DVI_USE_RECORDER.
 

Modified: trunk/util/texi2dvi
===================================================================
--- trunk/util/texi2dvi 2015-09-23 14:53:24 UTC (rev 6640)
+++ trunk/util/texi2dvi 2015-09-23 16:19:29 UTC (rev 6641)
@@ -699,8 +699,8 @@
 generated_files_get_from_fls ()
 {
   if test -f "$1.fls"; then
-    grep '^OUTPUT ' "$1.fls" \
-      | cut -b 8-
+    grep '^OUTPUT ' "$1.fls" | cut -b 8- \
+      | grep -v '\.dvi$' | grep -v '\.log$' | grep -v '\.pdf$'
   fi
 }