#------------------------------------------------------------------------------
# extract name list from Oberon library documentation
# afb 7/90
#------------------------------------------------------------------------------

	name=`basename $0`
	usage="Usage: $name manual"

if [ $# -ne 1 ]
then	echo >&2 "$usage"; exit 1
fi

case "$1"
in *"("*")")	filename=`echo "$1" | sed 's/\(.*\)(\(.*\))/\1.\2/`
;; *)		filename="$1"
esac

if [ ! -r $filename ]
then	echo >&2 "cannot open $filename for reading"; exit 1
fi

sed 's/:/ :/; s/(/ (/' $filename |
awk '
BEGIN			{ copy=0; printed=0; }
/^.Pg/			{ if (! printed)
				copy=1;
			}
/^CONST/		{ if (copy && NF >= 2) print $2; }
/^TYPE/			{ if (copy && NF >= 2) print $2; }
/^VAR/			{ if (copy && NF >= 2) print $2; }
/^PROCEDURE/		{ if (copy && NF >= 2) print $2; }
/^.Pe/			{ copy=0; printed=1; }' |
sed 's/[;,]//g'
