10 date 90.04.08.15.03.06; author sources; state Exp;
15 date 90.03.22.20.13.24; author sources; state Exp;
20 date 90.03.22.20.12.03; author sources; state Exp;
34 @/^\.SC/s/^\.SC\(.*\)$/.TH\1 @@(MHCENTERFOOT) @@(MHLEFTFOOT)/
54 /^\.SC/s/^\.SC\(.*\)$/.TH\1 MH [mh.6]/