diff options
Diffstat (limited to 'Doc')
| -rwxr-xr-x | Doc/tools/push-docs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh index 389f7bb..ab789e6 100755 --- a/Doc/tools/push-docs.sh +++ b/Doc/tools/push-docs.sh @@ -78,6 +78,7 @@ if $ANNOUNCE ; then To: $ADDRESSES From: "Fred L. Drake" <fdrake@acm.org> Subject: [$DOCLABEL doc updates] +X-No-Archive: yes The $DOCLABEL version of the documentation has been updated: |