| 1234567891011 | 
							- <sect2><title>Contents of Gawk</title>
 
- <para>(Last checked against version &gawk-contversion;.)</para>
 
- <para>Gawk is an awk implementation that is used to manipulate text
 
- files.</para>
 
- <para><emphasis>Installed programs</emphasis>: awk, gawk, gawk-3.1.1, grcat,
 
- igawk, pgawk, pgawk-3.1.1 and pwcat</para>
 
- </sect2>
 
 
  |