diff src/help.cc @ 5483:d2df058c4319

[project @ 2005-10-05 07:52:10 by dbateman]
author dbateman
date Wed, 05 Oct 2005 07:54:51 +0000
parents ed08548b9054
children 2ff5363a16bd
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -557,7 +557,11 @@
 
   OSSTREAM cmd_buf;
 
+#if __MINGW32__
+  cmd_buf << Vinfo_prog << " --file \"" << Vinfo_file << "\"";
+#else
   cmd_buf << "\"" << Vinfo_prog << "\" --file \"" << Vinfo_file << "\"";
+#endif
 
   std::string directory_name = Vinfo_file;
   size_t pos = directory_name.rfind ('/');