$name on "`date`"

: Generates an HTML index page for a directory of HTML files "*.html" : Outputs to standard output a complete HTML grand Index # usage: name2dictionary directory ... # BUG: on Linux sort -fd hangs if the is a character outside the normal ASCII range 2006/Oct/19 if [ $# -eq 0 ] then name2dictionary . else if [ -x ./standard.header.sh ] then ./standard.header.sh dictionary else name="Dictionary of names used in pages in $@" echo "$name on "`date`"" fi if [ -x ./standard.include.sh ] then ./standard.include.sh dictionary else if [ -r standard.include.html ] then cat standard.include.html fi fi # set -x echo "

//g s/$.*$\.html:.*<[aA] [nN][aA][mM][eE]="$[^"]*$"[^>]*>$[^<]*$<\/[aA]>.*/

\3 :\1<\/a>/ s/^
[0-9.:]* /
/' #echo leave $dir ) done |sort -fd | uniq -u echo "

" [ -r $HOME/.signature.html ] && ( echo '

'; cat $HOME/.signature.html) echo "" fi