diff --git a/doc/src/sgml/version.sgml b/doc/src/sgml/version.sgml
index 4930197f51b..88b66ae52c0 100644
--- a/doc/src/sgml/version.sgml
+++ b/doc/src/sgml/version.sgml
@@ -3,5 +3,5 @@ Update this file to propagate correct current version numbers to the
 documentation.  In text, use for example &version; to refer to them.
 -->
 
-<!entity version "7.1devel">
+<!entity version "7.1">
 <!entity majorversion "7.1">