# HG changeset patch
# User jwe
# Date 945475989 0
# Node ID 6f0b962d79b0debb04334ac31eed4d64f48a94c2
# Parent  d91b8d83c4a28f6461e06aa829c1a3eeaec095b5
[project @ 1999-12-18 00:13:09 by jwe]

diff -r d91b8d83c4a2 -r 6f0b962d79b0 scripts/ChangeLog
--- a/scripts/ChangeLog	Fri Dec 17 23:43:24 1999 +0000
+++ b/scripts/ChangeLog	Sat Dec 18 00:13:09 1999 +0000
@@ -1,3 +1,8 @@
+1999-12-17  John W. Eaton  <jwe@bevo.che.wisc.edu>
+
+	* mkdoc: Only delete spaces before @ characters at the beginning
+	of a line.
+
 1999-12-15  John W. Eaton  <jwe@bevo.che.wisc.edu>
 
 	* control/bddemo.m: Make it more likely to work with any value of
diff -r d91b8d83c4a2 -r 6f0b962d79b0 scripts/mkdoc
--- a/scripts/mkdoc	Fri Dec 17 23:43:24 1999 +0000
+++ b/scripts/mkdoc	Sat Dec 18 00:13:09 1999 +0000
@@ -7,5 +7,5 @@
 fi
 
 find $d -name '*.m' | \
-  sed "s,\(.*\)/\(.*\)\.m,./gethelp \2 < & | sed 's/ *@/@/'," | \
+  sed "s,\(.*\)/\(.*\)\.m,./gethelp \2 < & | sed 's/^ *@/@/'," | \
   /bin/sh