#! /usr/bin/gawk -f

# usage: "$0 [ -v strip_page=1 ] [ -v strip_trans_code=1 ] < INFILE > OUTFILE
#
# Takes a single-version text in EVT format and prints it in a 
# more readable format, with " " instead of "." and page numebrs aligned.

/^#/ { printf "<font color=\"#0033ff\">%s</font>\n", $0; next; }

/^</ { n = substr($0,1,19); r = substr($0,20);
       gsub(/[<>]/, "", n);
       gsub(/[;.]/, " ", n);
       split(n, nits);
       nn = nits[3];
       if ( nn ~ /[0-9]$/ ) { nn = (nn " "); }
       
       if ( ! strip_page )
         { printf "%6s.%-2s ", nits[1], nits[2]; }
       printf "%3s ", nn;
       if ( ! strip_trans_code ) 
         { printf "%1s ", nits[4]; }
       gsub(/[.]/, " ", r);
       gsub(/-/, " - ", r);
       gsub(/=/, " = ", r)
       gsub(/[ ][ ]*$/, "", r);
       printf "%s\n", r;
       next;
     }
     
/./  { printf "<font color=\"#ff5500\">%s</font>\n", $0; next; }