branch master updated: * util/texi2dvi (move_to_dest): Only take a single argument, as it is only called with multiple arguments when outputing to Info with hevea, which is an extremely niche use case. In fact, running with hevea (--html or --info on a LaTeX source) appears to be broken. (Loop introduced on 2006-06-27.) (run_hevea): Put the loop here. Code not tested.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new c5079760ba * util/texi2dvi (move_to_dest): Only take a single 
argument, as it is only called with multiple arguments when outputing to Info 
with hevea, which is an extremely niche use case.  In fact, running with hevea 
(--html or --info on a LaTeX source) appears to be broken.  (Loop introduced on 
2006-06-27.) (run_hevea): Put the loop here.  Code not tested.
c5079760ba is described below

commit c5079760ba39d9f96c7bfe0c15edf6f27ba9a315
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Fri Nov 10 18:33:31 2023 +0000

    * util/texi2dvi (move_to_dest): Only take a single argument,
    as it is only called with multiple arguments when outputing
    to Info with hevea, which is an extremely niche use case.  In
    fact, running with hevea (--html or --info on a LaTeX source)
    appears to be broken.  (Loop introduced on 2006-06-27.)
    (run_hevea): Put the loop here.  Code not tested.
---
 util/texi2dvi | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/util/texi2dvi b/util/texi2dvi
index 2b3dfcf714..ab60430aa6 100755
--- a/util/texi2dvi
+++ b/util/texi2dvi
@@ -558,8 +558,6 @@ destdir ()
 # or an auxiliary file with the same base name.
 move_to_dest ()
 {
-#  echo "move_to_dest $*, tidy=$tidy, oname=$oname"
-
   # If we built in place and have no output name, there is nothing to
   # do, so just return.
   case $tidy:$oname in
@@ -595,7 +593,7 @@ move_to_dest ()
   then
     verbose "Moving $1 to $mtd_destfile"
     rm -f "$mtd_destfile"
-    mv "$file" "$mtd_destfile"
+    mv "$1" "$mtd_destfile"
   fi
 }