1# Small -*- shell-script -*- to generate text version of HOL release
2# notes (e.g., for e-mail announcements).
3#
4# Usage: ./gen-text-release-notes < release-notes.html
5
6lynx -display_charset=utf8 -dump -nonumbers -stdin | \
7           perl -e '$/ = "\n\n";
8                    while (<>) { s/([.)])\n( *)\*/\1\n\n\2*/g; print; }'
9