update

diff --git a/doc/private/SRCID b/doc/private/SRCID
index 0c9ab493286544048deb5bdfac7e4e88dafbf4cb..94e420ae7d5116132cd8212a9e96f3cfa232e001 100644 (file)
--- a/doc/private/SRCID
+++ b/doc/private/SRCID
@@ -1,6 +1,6 @@
-# $Id: SRCID,v 1.1.4.518 2011/11/01 22:15:14 tbox Exp $
+# $Id: SRCID,v 1.1.4.519 2011/11/02 00:15:16 tbox Exp $
 # 
 # This file must follow /bin/sh rules.  It is imported directly via
 # configure.
 #
-SRCID="( $Date: 2011/11/01 22:15:14 $ )"
+SRCID="( $Date: 2011/11/02 00:15:16 $ )"