On 09/15/2016 08:40 AM, Adam D. Ruppe wrote:
On Wednesday, 14 September 2016 at 15:49:27 UTC, bachmeier wrote:
I agree. That's why I quickly gave up on ddoc.
My doc generator just pipes special input text through the latex program
to generate an image, which is then inlined in the html:
http://dpldocs.info/experimental-docs/test.html
Nice. I recall that was the standard solution until a few years ago. It
seems the newfangled way to do so uses javascript rendering, see
http://tex.stackexchange.com/questions/23804/how-to-incorporate-tex-into-a-website.
-- Andrei