annotate scripts/mkdoc @ 6800:afbd31bb7b4e ss-2-9-13

[project @ 2007-07-25 20:54:34 by jwe]
author jwe
date Wed, 25 Jul 2007 20:54:34 +0000
parents ac8d64b9e76a
children 4270ded9ddc6
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3295
35a6d027772c [project @ 1999-10-19 10:13:02 by jwe]
jwe
parents:
diff changeset
1 #! /bin/sh
35a6d027772c [project @ 1999-10-19 10:13:02 by jwe]
jwe
parents:
diff changeset
2
4098
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
3 set -e
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
4
3295
35a6d027772c [project @ 1999-10-19 10:13:02 by jwe]
jwe
parents:
diff changeset
5 if test $# != 1; then
35a6d027772c [project @ 1999-10-19 10:13:02 by jwe]
jwe
parents:
diff changeset
6 d=.
35a6d027772c [project @ 1999-10-19 10:13:02 by jwe]
jwe
parents:
diff changeset
7 else
35a6d027772c [project @ 1999-10-19 10:13:02 by jwe]
jwe
parents:
diff changeset
8 d=$1
35a6d027772c [project @ 1999-10-19 10:13:02 by jwe]
jwe
parents:
diff changeset
9 fi
35a6d027772c [project @ 1999-10-19 10:13:02 by jwe]
jwe
parents:
diff changeset
10
4098
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
11 if test -f gethelp; then
5333
ac8d64b9e76a [project @ 2005-05-02 18:15:20 by jwe]
jwe
parents: 4098
diff changeset
12 cat << EOF
ac8d64b9e76a [project @ 2005-05-02 18:15:20 by jwe]
jwe
parents: 4098
diff changeset
13 ### DO NOT EDIT!
ac8d64b9e76a [project @ 2005-05-02 18:15:20 by jwe]
jwe
parents: 4098
diff changeset
14 ###
ac8d64b9e76a [project @ 2005-05-02 18:15:20 by jwe]
jwe
parents: 4098
diff changeset
15 ### This file is generated automatically from the Octave sources.
ac8d64b9e76a [project @ 2005-05-02 18:15:20 by jwe]
jwe
parents: 4098
diff changeset
16 ### Edit those files instead and run make to update this file.
ac8d64b9e76a [project @ 2005-05-02 18:15:20 by jwe]
jwe
parents: 4098
diff changeset
17
ac8d64b9e76a [project @ 2005-05-02 18:15:20 by jwe]
jwe
parents: 4098
diff changeset
18 EOF
4098
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
19 find $d -name '*.m' | \
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
20 sed "s,\(.*\)/\(.*\)\.m,./gethelp \2 < & | sed 's/^ *@/@/'," | \
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
21 /bin/sh
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
22 else
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
23 echo "gethelp program seems to be missing!" 1>&2
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
24 exit 1
8496ae60db8a [project @ 2002-10-10 05:20:20 by jwe]
jwe
parents: 3390
diff changeset
25 fi