#! /bin/csh -f # Last edited on 1998-12-28 07:04:59 by stolfi set usage = "$0 TITLE"; # Converts a VMS transcription with locators to HTML, quick and dirty if ( $#argv != 1 ) then echo "usage: ${usage}" > /dev/tty; exit 1 endif echo '' echo '' echo ''"$1"'' echo '' echo '' echo '

Created '`date '+%Y-%m-%d %H:%M'`'

' echo '

'"$1"'

' echo '

' cat \ | gawk \ ' \ /^##/{ \ match($0,/<[^<>]*>/); \ un=substr($0,RSTART+1,RLENGTH-2); \ if (index(un, ".") == 0) { pg = un; } \ printf "## %s\n", un; next; \ } \ /^"); \ loc = substr($0,2,i-2); txt = substr($0,i+1); \ gsub(/^[ ]*/, "", txt); gsub(/;[A-Z]/, "", loc); \ if (match(loc, /^f[0-9]+[rv]?[1-6]?[.]([A-Za-z]([0-9]?[.]|)|)[0-9]+[a-z]?$/)) \ { loc = gensub(/([A-Z])([0-9]+[a-z]?)$/,"\\1.\\2","g",loc); \ loc = gensub(/([a-z]?)$/,".\\1","g",loc); \ if((split(loc,fld,/[.]/) == 4) && (fld[1] == pg)) \ { loc = sprintf("%2s %2s%1s", fld[2], fld[3], fld[4]); } \ } \ gsub(/[ ]/, "¨", loc); \ printf "@[%-6s] %s\n", loc, txt; next; \ } \ ' \ | sed \ -e 's:\([&]\)\([0-9][0-9][0-9]\);:\1#\2;:g' \ -e 's:\([&]\)\([^#]\):\1amp;\2:g' \ -e 's:\([&]\)$:\1amp;:g' \ -e 's:<:\<:g' \ -e 's:>:\>:g' \ -e 's:":\&qt;:g' \ -e 's:## *\([^. ]*\)$:

\1

:g' \ -e 's:## *\([^ ]*\)$:

\1

:g' \ -e '/^[^@]/b' \ -e 's:^@\[\([^ ]*\)\]:\1:' \ -e 's:[-.]*$:-:g' \ -e 's:[-.]*=[-.]*$:=:g' \ -e 's:[.]: :g' \ -e 's:=$:

:g' \ -e 's:-$:
:' \ | tr '\015¨' '\012\240' echo '

' echo '' echo ''