diff src/help.cc @ 3296:7d60704b2cbe

[project @ 1999-10-19 10:23:04 by jwe]
author jwe
date Tue, 19 Oct 1999 10:23:15 +0000
parents 35a6d027772c
children 02866242d3ae
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -706,7 +706,7 @@
       ostrstream buf;
       buf << "sed 's/^[#%]+ *//'"
 	  << " | makeinfo --fill-column " << cols
-	  << " --no-warn --no-validate --no-headers --force > "
+	  << " --no-warn --no-validate --no-headers --force --output "
 	  << tmp_file_name
 	  << ends;