Conversion to HTML

[rzach]

Figure out a good way to convert everything to HTML and ePub.

[david-a-wheeler]

There are many options, but I don't know if any are good. The TeX FAQ has a list of ways to generate HTML. There's also pandoc/

[rzach]

Back when I opened this, the most promising option seemed to be latexml. The main problem is that the code uses a lot of configurations, custom TeX code, and packages (esp cleveref, subfiles). The customizations use xparse, which still isn't supported, although some of the others now are.

[rzach]

LaTeXML .8.7 now does a decent job. The result is here: https://forallx.openlogicproject.org/html/index.html

I took some hints from these people (@0-andy-0 ?)
https://hackmd.io/@UoL-IWG/latexml

[0-andy-0]

Glad to be of help. Nice navigation button :-) Andy (also ***@***.***)

…

On Thu, 29 Jun 2023 at 04:58, Richard Zach ***@***.***> wrote: LaTeXML .8.7 now does a decent job. The result is here: https://forallx.openlogicproject.org/html/index.html I took some hints from these people ***@***.*** <https://github.com/0-andy-0> ?) ***@***.***/latexml — Reply to this email directly, view it on GitHub <#23 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ALTA7F4OODZCOTGVZC324TLXNTVMTANCNFSM4EFL73FA> . You are receiving this because you were mentioned.Message ID: ***@***.***>

[rzach]

Thanks to @brucemiller and @dginev (https://github.com/brucemiller/LaTeXML) and @xworld21 / @vlmantova (https://github.com/vlmantova/bookml) this is now done!