diff src/help.cc @ 3408:ae7adbb591e8

[project @ 2000-01-06 08:29:11 by jwe]
author jwe
date Thu, 06 Jan 2000 08:29:26 +0000
parents a020244950f9
children d14c483b3c12
line wrap: on
line diff
--- a/src/help.cc	Thu Jan 06 03:14:17 2000 +0000
+++ b/src/help.cc	Thu Jan 06 08:29:26 2000 +0000
@@ -611,7 +611,7 @@
 	cols = 72;
 
       ostrstream buf;
-      buf << "sed 's/^[#%]+ *//' | makeinfo"
+      buf << "sed -e 's/^[#%]+ *//' -e 's/^ *@/@/' | makeinfo"
 	  << " -D \"VERSION " << OCTAVE_VERSION << "\""
 	  << " -D \"OCTAVEHOME " << OCTAVE_PREFIX << "\""
 	  << " -D \"TARGETHOSTTYPE " << CANONICAL_HOST_TYPE << "\""
@@ -633,6 +633,8 @@
       if (filter)
 	{
 	  filter << "@macro seealso {args}\n"
+		 << "\n"
+		 << "@noindent\n"
 		 << "See also: \\args\\.\n"
                  << "@end macro\n";