| commit | e13602ee49668054a01b25eb456a974edebba35a | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Thu Apr 04 18:06:06 2002 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Thu Apr 04 18:06:06 2002 +0000 |
| tree | cd4f1fae43e1736a42a1434d4cd7d6024f8cb6b6 | |
| parent | 012c81fc9720c8504da73b26f503b0ef8640da19 [diff] |
Mark the notice about the new development version of the docs as not needing to be archived. Most of these are pretty bland. ;-)
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 @@ 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: