# This script removes the HTML formatting from a file. If the file was designed
# with such use in mind and was properly formatted besides HTML (such as the README
# file for ttf2pt1) it will look good as a plain text file.
# This script supports a very limited set of HTML formatting. Everything that
# goes before <BODY> is removed. Any lines that
# contain only the HTML formatting or start with "<!" or contain only ">"
# are completely removed. Then all the in-line formatting is removed.
# Then " ", "<", ">" are changed to " ", "<", ">".