minor fixes for Android
[goodguy/cin-manual-latex.git] / translate_manual
2021-05-17 Good Guysge modifications to HTML manual creation
2021-02-26 Good GuySGE complete and final fixups for latex2html
2021-01-07 Good Guyfix latex2html parameters to match in use set
2021-01-07 Good GuySGE work to get Glossary working +
2020-12-23 Good GuySGE auxiliary files to create latex2html; note latex2ht...