> From: Kaushal Modi <kaushal.m...@gmail.com> > Date: Wed, 19 Sep 2018 17:16:28 -0400 > Cc: Nicolas Goaziou <m...@nicolasgoaziou.fr>, Glenn Morris <r...@gnu.org>, > n...@flqt.fr, > Richard Stallman <r...@gnu.org>, 32...@debbugs.gnu.org, Robert Horn > <rjhorn...@gmail.com>, > Eli Zaretskii <e...@gnu.org> > > I got approval from Hrvoje Nikšić that he was fine with your mirror[0]. > > So I believe it should be OK reference that mirror repo in ox-html?
I think we could do better by using htmlfontify.el. I asked a few questions about that in this discussion, see https://debbugs.gnu.org/cgi/bugreport.cgi?bug=32722#95 Would the Org developers please reply to those questions? If indeed it is not hard to adapt htmlfontify to be used by Org, then I think it's a better solution. TIA
