Bump version to 7.1.1. Now run over to hub to rebuild documentation

before release...

diff --git a/doc/src/sgml/version.sgml b/doc/src/sgml/version.sgml
index 88b66ae52c0e71ac6886e46cea96a8016fb48a73..ca157a2026b9beffcaaca2018ecaec86a10316eb 100644 (file)
--- 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.1">
+<!entity version "7.1.1">
 <!entity majorversion "7.1">