diff src/help.cc @ 3303:76f6a531f5b8

[project @ 1999-10-20 06:44:59 by jwe]
author jwe
date Wed, 20 Oct 1999 06:45:00 +0000
parents bac635def477
children 69136e3883bf
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -706,15 +706,16 @@
 
       ostrstream buf;
       buf << "sed 's/^[#%]+ *//' | makeinfo"
-	  << " -D VERSION=\"" << OCTAVE_VERSION << "\""
-	  << " -D OCTAVE_HOME=\"" << OCTAVE_PREFIX << "\""
-	  << " -D TARGETHOSTTYPE=\"" << CANONICAL_HOST_TYPE << "\""
+	  << " -D \"VERSION " << OCTAVE_VERSION << "\""
+	  << " -D \"OCTAVEHOME " << OCTAVE_PREFIX << "\""
+	  << " -D \"TARGETHOSTTYPE " << CANONICAL_HOST_TYPE << "\""
 	  << " --fill-column " << cols
 	  << " --no-warn"
 	  << " --no-validate"
 	  << " --no-headers"
 	  << " --force"
 	  << " --output " << tmp_file_name
+	  << " > /dev/null 2>&1"
 	  << ends;
 
       char *cmd = buf.str ();