diff --git a/doc/version.texi b/doc/version.texi
index 439e4339..ec98ffce 100644
--- a/doc/version.texi
+++ b/doc/version.texi
@@ -1,4 +1,4 @@
-@set UPDATED 13 February 2002
+@set UPDATED 25 February 2002
 @set UPDATED-MONTH February 2002
 @set EDITION 1.33a
 @set VERSION 1.33a