Mark the notice about the new development version of the docs as not needing

freddrake · freddrake · commit e13602ee4966 · 2002-04-04T18:06:06.000Z
to be archived.  Most of these are pretty bland.  ;-)
diff --git 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:
 
