Generate a more meaningful message regarding the type of the documentation

release being discussed.

diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
index 26af1aa3de34151e86fa9b4ba9c5c4d4d87e150c..6f93b85a9534efd1955c6db4b4be034768ff2300 100755 (executable)
--- a/Doc/tools/push-docs.sh
+++ b/Doc/tools/push-docs.sh
@@ -71,7 +71,7 @@ To: $ADDRESSES
 From: "Fred L. Drake" <fdrake@acm.org>
 Subject: [$DOCLABEL doc updates]
 
-The development version of the documentation has been updated:
+The $DOCLABEL version of the documentation has been updated:
 
     http://python.sourceforge.net/$DOCTYPE-docs/