Skip to content

Address #32: Convert Hemlock User's Manual to texi

Raymond Toy requested to merge issue-32-hemlock-texi into master

Convert the "Hemlock User's Manual" from Scribe to Texinfo.

Mostly done by the sed script in sed.exp, but much manual tweaking required.

But the result is pretty close to the original pdf version.

Merge request reports