--- a/src/help.cc	Tue Oct 19 18:04:03 1999 +0000
+++ b/src/help.cc	Wed Oct 20 04:10:53 1999 +0000
@@ -68,6 +68,7 @@
 #include "unwind-prot.h"
 #include "utils.h"
 #include "variables.h"
+#include "version.h"
 
 // Name of the info file specified on command line.
 // (--info-file file)
@@ -704,10 +705,16 @@
 	cols = 72;
 
       ostrstream buf;
-      buf << "sed 's/^[#%]+ *//'"
-	  << " | makeinfo --fill-column " << cols
-	  << " --no-warn --no-validate --no-headers --force --output "
-	  << tmp_file_name
+      buf << "sed 's/^[#%]+ *//' | makeinfo"
+	  << " -D VERSION \"" << OCTAVE_VERSION << "\""
+	  << " -D OCTAVE_HOME \"" << OCTAVE_PREFIX << "\""
+	  << " -D TARGETHOSTTYPE \"" << CANONICAL_HOST_TYPE << "\""
+	  << " --fill-column " << cols
+	  << " --no-warn"
+	  << " --no-validate"
+	  << " --no-headers"
+	  << " --force"
+	  << " --output " << tmp_file_name
 	  << ends;
 
       char *cmd = buf.str ();