update

diff --git a/doc/private/SRCID b/doc/private/SRCID
index 1910a31601b89c0a1a74af640ac5926ad9d42c77..76444b0da68c79fe2d327d38e344b7dc6985d6d2 100644 (file)
--- a/doc/private/SRCID
+++ b/doc/private/SRCID
@@ -1,6 +1,6 @@
-# $Id: SRCID,v 1.17.4.141 2011/04/13 23:20:40 edmonds Exp $
+# $Id: SRCID,v 1.17.4.142 2011/05/03 16:15:11 tbox Exp $
 # 
 # This file must follow /bin/sh rules.  It is imported directly via
 # configure.
 #
-SRCID="( $Date: 2011/04/13 23:20:40 $ )"
+SRCID="( $Date: 2011/05/03 16:15:11 $ )"