diff options
| -rwxr-xr-x | Doc/tools/update-docs.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Doc/tools/update-docs.sh b/Doc/tools/update-docs.sh index a996461..b3b48ba 100755 --- a/Doc/tools/update-docs.sh +++ b/Doc/tools/update-docs.sh @@ -21,7 +21,11 @@ if [ -f "$UPDATES" ] ; then cd devel-docs || exit $? (bzip2 -dc "$UPDATES" | tar xf -) || exit $? rm "$UPDATES" || exit $? - EXPLANATION="`cat $INFO`" + if [ -f "$INFO" ] ; then + EXPLANATION="`cat $INFO`" + else + EXPLANATION='' + fi Mail -s '[development doc updates]' \ python-dev@python.org doc-sig@python.org \ <<EOF |