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 26af1aa..6f93b85 100755
--- a/Doc/tools/push-docs.sh
+++ b/Doc/tools/push-docs.sh
@@ -71,7 +71,7 @@
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/