source:
tags/initial/SH/arb_hindex
Last change on this file was 2, checked in by oldcode, 24 years ago | |
---|---|
|
|
File size: 167 bytes |
Line | |
---|---|
1 | cd $ARBHOME/lib/help |
2 | file=index |
3 | |
4 | rm -f $file |
5 | grep TITLE *.hlp | sed -e "s/^\(.\{1,15\}\)TITLE/\1 TITLE/g" -e "s/TITLE/ TITLE/g" >$file |
6 | ls *.ps >>$file |
7 | textedit $file& |
Note: See TracBrowser
for help on using the repository browser.