/gnu/dist/gawk/
../
awk.texi