#! /bin/sh # Extract special character defs from WWW document and make web # page source to display them. awk 'BEGIN { print "Non-ASCII Glyphs" print "

Non-ASCII Glyphs on the Web

" print "This table was produced automatically from the character" print "set tables in the HTML 4.0 document from W3C by" print "an AWK script.

" print "" print "
DescriptionNameGlyphNumericGlyph" } (("CDATA"==$3)&&("#"==substr($4,12,1))&&(";"==substr($4,length($4)-6,1))) { num = substr($4,13,length($4)-19) name = $6 for (i=7; (i<=NF) && (","!=substr(name,length(name),1)); i++) name = name " " $i if ( "," == substr(name,length(name),1) ) name = substr(name,1,length(name)-1) printf("
%s\n",name) printf("&%s;",$2) printf("&%s;\n",$2) printf("&#%d;",num) printf("&#%d;\n",num) } END { print "
" print "

" printf("Back") printf(" to ZBEN’s home page.\n") print "" }' entities.html