Update documentation version.
diff --git a/doc/version.texi b/doc/version.texi
index 81d0b79..2abd242 100644
--- a/doc/version.texi
+++ b/doc/version.texi
@@ -1,4 +1,4 @@
-@set UPDATED 14 February 2008
-@set UPDATED-MONTH February 2008
-@set EDITION 3.0.8
-@set VERSION 3.0.8
+@set UPDATED 23 December 2012
+@set UPDATED-MONTH December 2012
+@set EDITION 3.0.12-rc0
+@set VERSION 3.0.12-rc0