Module Name:	gnusrc
Committed By:	wiz
Date:		Fri Dec  8 19:21:56 UTC 2000

Modified Files:
	gnusrc/gnu/dist/gawk/doc: gawk.texi

Log Message:
Fix last commit. Problem reported by Matthias Scheler.


To generate a diff of this commit:
cvs rdiff -r1.2 -r1.3 gnusrc/gnu/dist/gawk/doc/gawk.texi

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.