minor section name change to prevent future conflice
[goodguy/cin-manual-latex.git] / html.sty
2020-12-23 Good GuySGE auxiliary files to create latex2html; note latex2ht...