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