Avoid needless error.

diff --git a/ChangeLog b/ChangeLog
index daa9ccbab3cf986f52abd3b3c950a3d66ea548ca..6d822ac79e6204aacd0d2363878d10dce5412bd8 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,9 @@
 2002-03-07  Bruno Haible  <bruno@clisp.org>
 
        * Makefile.am (MAKEINFO): New variable.
+       * missing (makeinfo): Don't call touch without arguments if the source
+       texinfo file doesn't contain a @setfilename command.
+       Reported by Miroslaw Dobrzanski-Neumann <mne@mosaic-ag.com>.
 
 2002-02-15  Bruno Haible  <bruno@clisp.org>
 

diff --git a/missing b/missing
index 0a7fb5a2acec32d1ef949e5e7e7fb11460c5e021..41956ee61a23052de750fc376f332648a255150b 100755 (executable)
--- a/missing
+++ b/missing
@@ -226,7 +226,9 @@ WARNING: \`$1' is missing on your system.  You should only need it if
       file=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'`
       file=`sed -n '/^@setfilename/ { s/.* \([^ ]*\) *$/\1/; p; q; }' $file`
     fi
-    touch $file
+    if test -n "$file"; then
+      touch $file
+    fi
     ;;
 
   tar)