--- missing.orig	2007-07-13 01:10:26.000000000 +0200
+++ missing	2007-07-13 01:10:36.000000000 +0200
@@ -299,7 +299,7 @@ WARNING: \`$1' is $msg.  You should only
     fi
     # If the file does not exist, the user really needs makeinfo;
     # let's fail without touching anything.
-    test -f $file || exit 1
+    ##test -f $file || exit 1
     touch $file
     ;;