jdolecek 2eb16b781e move the GNU awk-based awk.texi back under src/gnu/dist/gawk/, ... it's covered by GNU Documentation Licence and thus shouldn't be mixed with free code		2004-03-27 11:34:11 +00:00
..
awk.texi	move the GNU awk-based awk.texi back under src/gnu/dist/gawk/,	2004-03-27 11:34:11 +00:00