Mercury-Language/www

HTML version of tutorial book would be useful

Opened this issue · 2 comments

Hi,

An HTML version of the tutorial book would be great - PDF isn't always convenient to read, especially if browsing the Mercury documentation on a tablet or phone. The LaTeX seems to convert very cleanly to HTML using hevea (HTML attached for your persual). If you'd be amenable to adding it, and want me to do a pull request to incorporate the HTML version, I'm happy to do that, let me know.

Hevea will also process a \tableofcontents command in the LaTeX if it's enabled.

book.html.zip

wangp commented

Yes, please make a pull request.

No worries - I may not get a chance to do it til the weekend, though.