diff options
| -rwxr-xr-x | Doc/tools/update-docs.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Doc/tools/update-docs.sh b/Doc/tools/update-docs.sh index 53b6fc5..01ebfdf 100755 --- a/Doc/tools/update-docs.sh +++ b/Doc/tools/update-docs.sh @@ -20,8 +20,11 @@ if [ -f "$UPDATES" ] ; then cd devel-docs || exit $? (bzip2 -dc "$UPDATES" | tar xf -) || exit $? rm "$UPDATES" || exit $? - Mail -s '[online doc updates]' fdrake@acm.org <<EOF -Development version of documentation updated: -http://python.sourceforge.net/devel-docs/ + Mail -s '[development doc updates]' \ + python-dev@python.org doc-sig@python.org \ + <<EOF +The development version of the documentation has been updated: + + http://python.sourceforge.net/devel-docs/ EOF fi |