<div dir="ltr"><div>Interesting: it may be that the default to-html plugin is older and not maintained and that HeVeA has replaced it for all practical purposes ... but if you don't know that you're out of luck?  I didn't know it, and the default to-html was a major failure.  I did search around and don't recall seeing HeVeA mentioned.  Anyway, too late for me and I'm good with my decision as HTML is easier to maintain - for me, and probably in general.<br></div><div><br></div><div>On Tue, 16 Oct 2018 at 11:11, David Mason <<a href="mailto:dmason@ryerson.ca">dmason@ryerson.ca</a>> wrote:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">



<div>
<div name="messageBodySection" style="font-size:14px;font-family:-apple-system,BlinkMacSystemFont,sans-serif">I use LaTeX for everything - most particularly for papers and lecture slides. I haven’t used it in a while, but HeVeA (<a href="http://hevea.inria.fr/" target="_blank">http://hevea.inria.fr/</a>) is the best way to convert LaTeX to HTML.  When I last used it, it was quite effective. And it is quite focussed on including code in documents.</div>
<div name="messageSignatureSection" style="font-size:14px;font-family:-apple-system,BlinkMacSystemFont,sans-serif"><br>
../Dave</div>
<div name="messageReplySection" style="font-size:14px;font-family:-apple-system,BlinkMacSystemFont,sans-serif">On Oct 16, 2018, 9:16 AM -0400, Giles Orr via talk <<a href="mailto:talk@gtalug.org" target="_blank">talk@gtalug.org</a>>, wrote:<br>
<blockquote type="cite" style="margin:5px 5px;padding-left:10px;border-left:thin solid #1abc9c">
<div dir="ltr">
<div>I've finally released a document I've been working on for a while:</div>
<div><br></div>
<div>"Practical Use of GRUB's DSL: With the examples inexplicably left out of the GRUB documentation" ( <a href="https://www.gilesorr.com/grubdsl/" target="_blank">https://www.gilesorr.com/grubdsl/</a> )</div>
<div><br></div>
<div>Daniel did the editing, and set me on this path in the first place with his own interest in GRUB.  The GRUB DSL is somewhat similar to an older version of a Linux shell, but documentation of its functionality online is poor to non-existent.  Don't get me wrong: GRUB has a lot of documentation of individual commands, but how you can assemble them into useful scripts is barely documented at all.  (Yup, its an uncommon application realm.)  My greatest frustration with GRUB's DSL is the lack of redirection and pipes (I understand why they're not there - but it would be nice to have them).</div>
<div><br></div>
<div>I hope this is helpful to someone!<br></div>
<div><br></div>
<div>     -----<br></div>
<div><br></div>
<div>As a technical side note, I learned the basics of LaTeX in an attempt to create this document in that language (I'd been wanting to learn it for years).  LaTeX is supposed to be able to generate not only PostScript and PDF, but also HTML.  But it turns out the HTML generator isn't nearly as well maintained as the PDF generator, and in the end I could find no way to implement my code examples in such a way that the HTML generator wouldn't fail on them.  I also found the language unnecessarily complex for what I was trying to achieve and ultimately switched to raw HTML (which you see above).  LaTeX may have been a poor choice.  :-)<br></div>
<div><br></div>
<div>--<br>
<div dir="ltr" class="m_7912593581617115210gmail_signature" data-smartmail="gmail_signature">Giles<br>
<a href="https://www.gilesorr.com/" target="_blank">https://www.gilesorr.com/</a><br>
<a href="mailto:gilesorr@gmail.com" target="_blank">gilesorr@gmail.com</a></div>
</div>
</div>
---<br>
Talk Mailing List<br>
<a href="mailto:talk@gtalug.org" target="_blank">talk@gtalug.org</a><br>
<a href="https://gtalug.org/mailman/listinfo/talk" target="_blank">https://gtalug.org/mailman/listinfo/talk</a><br></blockquote>
</div>
</div>

</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Giles<br><a href="https://www.gilesorr.com/" target="_blank">https://www.gilesorr.com/</a><br><a href="mailto:gilesorr@gmail.com" target="_blank">gilesorr@gmail.com</a></div></div>