diff src/help.cc @ 4469:53ee020af847

[project @ 2003-07-26 03:45:10 by jwe]
author jwe
date Sat, 26 Jul 2003 03:45:11 +0000
parents ccfdb55c8156
children c7ae43dfdea4
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -508,7 +508,7 @@
 
   OSSTREAM cmd_buf;
 
-  cmd_buf << Vinfo_prog << " --file " << Vinfo_file;
+  cmd_buf << "\"" << Vinfo_prog << "\" --file \"" << Vinfo_file << "\"";
 
   std::string directory_name = Vinfo_file;
   size_t pos = directory_name.rfind ('/');
@@ -516,7 +516,7 @@
   if (pos != NPOS)
     {
       directory_name.resize (pos + 1);
-      cmd_buf << " --directory " << directory_name;
+      cmd_buf << " --directory \"" << directory_name << "\"";
     }
 
   if (nm.length () > 0)
@@ -613,7 +613,7 @@
       OSSTREAM buf;
 
       buf << "sed -e 's/^[#%][#%]* *//' -e 's/^ *@/@/' | "
-	  << Vmakeinfo_prog
+	  << "\"" << Vmakeinfo_prog << "\""
 	  << " -D \"VERSION " << OCTAVE_VERSION << "\""
 	  << " -D \"OCTAVEHOME " << OCTAVE_PREFIX << "\""
 	  << " -D \"TARGETHOSTTYPE " << OCTAVE_CANONICAL_HOST_TYPE << "\""