Lines Matching full:awk
553 * Makefile.in (dist): Don't release mergedir.awk
554 (install): Use sed, not awk. Don't depend on mergedir.awk.
555 * mergedir.awk: File effectively deleted.
603 Redirect awk output to temp file and install that.
1135 * Makefile (install): Use mergedir.awk to process bison.simple
