# Preprocessing of HTML files for convertion to TeX # s???g s???g s???g s???g # make it clearer which LINEs are plain text and which aren't s?^\(.*\)?\ \1? s?^\(.*\)?\ \1? #s?^\(.*\)?\ #\1? s?\(.*\)\(.*\)?\1\ \2?