1890
1890
@$(AWK) -f "$(srcdir)"/xref.awk "$(srcdir)"/dtdgport.awk > _$@.out1
1891
1891
@$(AWK) --pretty-print=ap-$@.out -f "$(srcdir)"/xref.awk
1892
1892
@$(AWK) -f ./ap-$@.out "$(srcdir)"/dtdgport.awk > _$@.out2 ; rm ap-$@.out
1894
1894
cp "$(srcdir)"/dtdgport.awk $@.ok ; }