#!/bin/sh
# 
# gives all the commands (UNIX and jrv-defined) used in Scripts
# (developers' tool, not users' tool)
#
# 2002-04-10 bug or feature: includes ">" in the output
#            due to a continuation line in some Script files (preprocessors).


# ($NF>0 discards empty lines and $1!="#" discards comment lines.)
cat `find . -name Script` | awk '$NF>0 && $1 != "#" {print $2}' | sort | uniq
