diff src/help.cc @ 1613:f18871f4df2b

[project @ 1995-11-03 12:06:56 by jwe]
author jwe
date Fri, 03 Nov 1995 12:12:36 +0000
parents 27f5ac98fc4a
children 6708c53892c1
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -529,7 +529,7 @@
 
   ostrstream cmd_buf;
 
-  cmd_buf << "info --file " << user_pref.info_file;
+  cmd_buf << user_pref.info_prog << " --file " << user_pref.info_file;
 
   char *directory_name = strsave (user_pref.info_file);
   char *file = strrchr (directory_name, '/');