[Unison-hackers] [PATCH] doc/local.tex (was: [maybe-BUG] unison-manual.tex only with make)

[moonkid at posteo.org]

On 2014-10-30 14:15 "Benjamin C. Pierce" <bcpierce at cis.upenn.edu> wrote:
> Thanks — I’ve put it in (my local copy of) the trunk.

I am not sure with "hevea" but it looks like that a HTML can not be
build with hevea because of my patch.

But the default build system doesn't build a HTML file. So I think it
is no big deal.