diff --git a/ChangeLog b/ChangeLog
index daa9ccbab..6d822ac79 100644
--- 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 0a7fb5a2a..41956ee61 100755
--- 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)