info: Split Empire4 into Empire4.0, Empire4.2, Empire4.3

[empserver] / doc / README

diff --git a/doc/README b/doc/README
index 93b8170ec3d1526120c86fe033b5b686e5a342b5..078a4ed07a98fddcc7eeaee2b5a4234f6ef69b0c 100644 (file)
--- a/doc/README
+++ b/doc/README
@@ -62,7 +62,7 @@ CHANGES3.0
        There is no detailed revision history for versions 4.0.0 to
        4.2.12.  Since 4.2.12, detailed history is in the revision
        control system, currently Git.  The version meant for deities
-       and players is in "info Empire4".
+       and players is in "info Empire4.0", "info Empire4.2", ...
 
 WISH_LIST
        things which maybe should be coded sometime.