V8/usr/src/cmd/troff/devaps/awk.script

BEGIN  {
    incharset = 0;
    kerningfile = "";
}

kerningfile == "" {
    kerningfile = FILENAME;
}

FILENAME == kerningfile  {
    kern[$1] = $2;
    next;
}

FILENAME != kerningfile  &&  incharset == 0  {
    print;
    if ( $1 == "charset" ) incharset = 1;
    next;
}

FILENAME != kerningfile  &&  incharset == 1  {
    if ( $2 != "\"" )  {
	if ( kern[$1] == "" ) kern[$1] = $3;
	printf "%s\t%s\t%s\t%s", $1, $2, kern[$1], $4;
	for ( i = 5; i <= NF; i++ )
	    if ( i == 5 ) printf "\t%s", $i;
	    else printf " %s", $i;
	printf "\n";
    } else print;
}