Address #32: Convert Hemlock User's Manual to texi
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.
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.