From 7994f86ec5e18f9d0d9f90161a2f26dd26d26af7 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Sun, 4 Jul 2021 03:01:24 +0000 Subject: CTAN sync 202107040301 --- macros/texinfo/latest/texi2dvi | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) (limited to 'macros/texinfo/latest/texi2dvi') diff --git a/macros/texinfo/latest/texi2dvi b/macros/texinfo/latest/texi2dvi index 17f43557ba..241ad6817a 100644 --- a/macros/texinfo/latest/texi2dvi +++ b/macros/texinfo/latest/texi2dvi @@ -1,7 +1,7 @@ #! /bin/sh # texi2dvi --- produce DVI (or PDF) files from Texinfo (or (La)TeX) sources. # -# Copyright 1992-2019 Free Software Foundation, Inc. +# Copyright 1992-2021 Free Software Foundation, Inc. # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -198,9 +198,9 @@ EOF version () { cat < This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. @@ -767,6 +767,8 @@ xref_files_save () # since the previous run. xref_files_changed () { + xref_files_new=`generated_files_get` + # LaTeX (and the package changebar) report in the LOG file if it # should be rerun. This is needed for files included from # subdirs, since texi2dvi does not try to compare xref files in @@ -782,7 +784,6 @@ xref_files_changed () # If old and new lists don't have the same file list, # then something has definitely changed. - xref_files_new=`generated_files_get` verbose "Original xref files = $xref_files_orig" verbose "New xref files = $xref_files_new" if test "x$xref_files_orig" != "x$xref_files_new"; then @@ -884,11 +885,8 @@ make_tex_cmd () # Tell TeX to allow running external executables test -n "$shell_escape" && tex_cmd="$tex_cmd $shell_escape" - # Run without interaction. - # \batchmode does not show terminal output at all, so we don't - # want that. And even in batch mode, TeX insists on having input - # from the user. Close its stdin to make it impossible. - tex_cmd="$tex_cmd