update

diff --git a/doc/private/SRCID b/doc/private/SRCID
index 7aae0f38197b9d3de076fc7a4b919d63e3dfbc0f..970a56a3529b7af014fbaaf22b3dd9683c4edb1d 100644 (file)
--- a/doc/private/SRCID
+++ b/doc/private/SRCID
@@ -1,6 +1,6 @@
-# $Id: SRCID,v 1.73.2.393.8.4 2011/06/06 02:17:15 tbox Exp $
+# $Id: SRCID,v 1.73.2.393.8.5 2011/06/07 00:16:45 tbox Exp $
 # 
 # This file must follow /bin/sh rules.  It is imported directly via
 # configure.
 #
-SRCID="( $Date: 2011/06/06 02:17:15 $ )"
+SRCID="( $Date: 2011/06/07 00:16:45 $ )"