branch master updated: * util/texi2dvi (move_to_dest): use if instead of && to avoid triggering a failure with set -e if the condition is false.

[Patrice Dumas]

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

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 4a00256b9c * util/texi2dvi (move_to_dest): use if instead of && to 
avoid triggering a failure with set -e if the condition is false.
4a00256b9c is described below

commit 4a00256b9cca78b6e7520d96b79848c555194e15
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sat Nov 2 17:20:35 2024 +0100

    * util/texi2dvi (move_to_dest): use if instead of && to avoid
    triggering a failure with set -e if the condition is false.
---
 ChangeLog     | 5 +++++
 util/texi2dvi | 4 +++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index d93fe6751b..bba48c0e93 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-11-02  Patrice Dumas  <pertusus@free.fr>
+
+       * util/texi2dvi (move_to_dest): use if instead of && to avoid
+       triggering a failure with set -e if the condition is false.
+
 2024-11-02  Patrice Dumas  <pertusus@free.fr>
 
        * contrib/nontests/defs.in, contrib/nontests/run_test_utils.sh
diff --git a/util/texi2dvi b/util/texi2dvi
index b2285b4036..f24e27a9fd 100755
--- a/util/texi2dvi
+++ b/util/texi2dvi
@@ -588,7 +588,9 @@ move_to_dest ()
     if mv "$1" "$dest" ; then
        # For --output, report that the file was moved, as TeX has just
        # reported that it wrote output at the original location.
-       test z"$oname" != z && echo "Moved $1 to $dest"
+       if test z"$oname" != z ; then
+         echo "Moved $1 to $dest"
+       fi
     else
        error 1 "Could not move $1 to $dest"
     fi