diff src/help.cc @ 4108:63a5613cca00

[project @ 2002-10-16 22:55:24 by jwe]
author jwe
date Wed, 16 Oct 2002 22:55:24 +0000
parents b79da8779a0e
children fc2048d4cd21
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -613,7 +613,7 @@
 
       OSSTREAM buf;
 
-      buf << "sed -e 's/^[#%]+ *//' -e 's/^ *@/@/' | "
+      buf << "sed -e 's/^[#%]* *//' -e 's/^ *@/@/' | "
 	  << Vmakeinfo_prog
 	  << " -D \"VERSION " << OCTAVE_VERSION << "\""
 	  << " -D \"OCTAVEHOME " << OCTAVE_PREFIX << "\""
@@ -623,7 +623,7 @@
 	  << " --no-validate"
 	  << " --no-headers"
 	  << " --force"
-	  << " --output " << tmp_file_name
+	  << " --output \"" << tmp_file_name << "\""
 	  << " > /dev/null 2>&1"
 	  << OSSTREAM_ENDS;