> From: Kaushal Modi <[email protected]> > Date: Wed, 19 Sep 2018 17:16:28 -0400 > Cc: Nicolas Goaziou <[email protected]>, Glenn Morris <[email protected]>, > [email protected], > Richard Stallman <[email protected]>, [email protected], Robert Horn > <[email protected]>, > Eli Zaretskii <[email protected]> > > 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
