diff options
| -rwxr-xr-x | dist-tools/send-erratum-notice.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dist-tools/send-erratum-notice.sh b/dist-tools/send-erratum-notice.sh new file mode 100755 index 00000000..56d3a001 --- /dev/null +++ b/dist-tools/send-erratum-notice.sh @@ -0,0 +1,11 @@ +test "$SEND_ANNOUNCEMENTS" = doit || { echo "read the source, luke! -> $0" ; cat "$0" ; exit 1 ; } + +ANN=fetchmail-EN-2010-03 +FILE=$HOME/VCS-mine/fetchmail.git/$ANN.txt +test -r $FILE || { echo "Cannot find $FILE." ; exit 1 ; } +SUBJECT="fetchmail erratum notice $ANN" +MAILER=mail + +$MAILER -r matthias.andree@gmx.de -s "$SUBJECT" <$FILE \ + vendor-sec@lst.de \ + fetchmail-announce@lists.berlios.de |