diff --git a/Old_Packages/Doc23/version b/Old_Packages/Doc23/version
index 2326ce70ca4..049b1914948 100644
--- a/Old_Packages/Doc23/version
+++ b/Old_Packages/Doc23/version
@@ -1 +1 @@
-2.12 (23 Mar 2001)
+2.13 (23 Mar 2001)