shithub: 9intro

ref: 87288afa5ac476efb3ef1ed40df658427339f13e
dir: /numfigs/

View raw version 
#!/bin/rc
if ( ! test -f $1 ){
	n="^$1^"
	shift
}
if not
	n='""'

grep '^.LE' $*  |  awk '
	BEGIN { nf=0; nt=0; np=0; }
	$0 ~ /\.LE F/ {printf("%s%d %s\n", '$n', ++nf, $0);}
	$0 ~ /\.LE T/ {printf("%s%d %s\n", '$n', ++nt, $0);}
	$0 ~ /\.LE P/ {printf("%s%d %s\n", '$n', ++np, $0);}'
exit ''