#! /usr/bin/gawk -f # Last edited on 1998-10-27 20:39:01 by stolfi BEGIN{ nl=0; np=0; wmax=1; smax=1; } /^[#]/{next;} /^ *$/{next;} //{ sc=$1; pg=$3; lb=$6; if(! (lb in lbnum)){ lbnum[lb] = nl; lbtxt[nl]=lb; nl++; } if(length(lb) > wmax){ wmax = length(lb); } if(! (pg in pgnum)){ pgnum[pg] = np; pgtxt[np]=pg; sctxt[np] = sc; np++; } st = (tb[pg,lb] "*"); if(length(st) > smax){ smax = length(st); } tb[pg,lb] = st; next; } END { print_vertically(lbtxt, nl, wmax, smax, 12); scprev = ""; for(i=0;i