diff src/help.cc @ 4115:fc2048d4cd21

[project @ 2002-10-22 21:28:42 by jwe]
author jwe
date Tue, 22 Oct 2002 21:28:42 +0000
parents 63a5613cca00
children e96f52432059
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -613,7 +613,7 @@
 
       OSSTREAM buf;
 
-      buf << "sed -e 's/^[#%]* *//' -e 's/^ *@/@/' | "
+      buf << "sed -e 's/^[#%][#%]* *//' -e 's/^ *@/@/' | "
 	  << Vmakeinfo_prog
 	  << " -D \"VERSION " << OCTAVE_VERSION << "\""
 	  << " -D \"OCTAVEHOME " << OCTAVE_PREFIX << "\""