Update awk version (was a typo)

diff --git a/docs/user/ContribSoftware.mdwn b/docs/user/ContribSoftware.mdwn
index 3119d28..f01ee61 100644 (file)
--- a/docs/user/ContribSoftware.mdwn
+++ b/docs/user/ContribSoftware.mdwn
@@ -6,7 +6,7 @@ This page lists all the contributed software in src/ and links to the software's
 
 
 * ***[amd/](http://www.am-utils.org/) 6.0.3s1 (6.1.5 avail)***
-* [awk20100503/](http://www.cs.princeton.edu/~bwk/btl.mirror/) 20100503
+* [awk20100523/](http://www.cs.princeton.edu/~bwk/btl.mirror/) 20100523
 * ***[binutils-2.20/](http://www.gnu.org/software/binutils/) 2.20 (2.21 avail)***
 * [bzip2/](http://www.bzip.org/) 1.0.6
 * ***[com_err/](http://www.pdc.kth.se/heimdal/) 19990703 (20070717 avail)***