home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
- #
- # help-text2.sh : Extract the headings by taking the non-indented initial
- # parts of the help text strings. The output is a set of initializers
- # for a { lineno,string } structure. Since we can only use the
- # sed = command to print the line number, and it prints it on a
- # line by itself, the output is kinda gross. Sorry.
- #
- # George Ferguson, ferguson@cs.rochester.edu, 23 Apr 1993.
- #
-
- echo '{'
- sed -n -e '/^NULL,$/=' -e 's/^\("..[^ "].*\)\\n",$/,\1"},{/p'
- echo '000,NULL}'
-