--- Makefile.in	Sun Aug 31 16:43:20 2003
+++ /tmp/Makefile	Sun Aug 31 16:37:20 2003
@@ -345,7 +345,7 @@
 
 platex.fmt: ptex texmf.cnf
 	$(dumpenv) $(MAKE) $(makeargs) files="--progname=platex platex.ltx" prereq-check
-	$(dumpenv) ./ptex -ini --progname=platex \\input platex.ltx </dev/null
+	echo "" | $(dumpenv) ./ptex -ini --progname=platex \\input platex.ltx || true
 
 # This is meant to be called recursively, with $(files) set.
 prereq-check: $(kpathsea_dir)/kpsewhich
