gawk.texi

.