gawk 3.1.3, not .1

git-svn-id: http://svn.linuxfromscratch.org/LFS/trunk/BOOK@2675 4aa44e1e-78dd-0310-a6d2-fbcd4c07a689

chapter06/gawk-inst.xml

@@ -20,14 +20,14 @@ the book).</para></listitem>
 
 <listitem><para>The default data directory for gawk is <filename
 class="directory">$prefix/share/awk</filename>. A package specific
-directory should be named using the package and version (like gawk-3.1.1
+directory should be named using the package and version (like gawk-3.1.3
 instead of awk) because there may be more than one awk interpreter on a
 system (and more than one version of gawk). The patch changes this to
-<filename class="directory">$prefix/share/gawk-3.1.1</filename> to be more
+<filename class="directory">$prefix/share/gawk-3.1.3</filename> to be more
 correct.</para></listitem>
 
 <listitem><para>The patch ensures that this directory (<filename
-class="directory">$prefix/share/gawk-3.1.1</filename>) is removed along
+class="directory">$prefix/share/gawk-3.1.3</filename>) is removed along
 with its contents on a make uninstall.</para></listitem>
 </itemizedlist>