diff --git a/doc/version.texi b/doc/version.texi
index 408f0b0d2..cd70981c9 100644
--- a/doc/version.texi
+++ b/doc/version.texi
@@ -1,4 +1,4 @@
 @set UPDATED 24 January 2013
 @set UPDATED-MONTH January 2013
-@set EDITION 2.0.1
-@set VERSION 2.0.1
+@set EDITION 2.0.2
+@set VERSION 2.0.2