cat -n is already used to number lines (replaces old num command
like cat -v replaces old see command). I am neutral on this
discussion and only want to point out the facts.
--
--steve kramer
{allegra,genrad,ihnp4,utzoo,philabs,uw-beaver}!linus!axiom!smk (UUCP)
linus!axiom!smk at mitre-bedford (MIL)