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

[Benjamin C. Pierce]

Thanks — I’ve put it in (my local copy of) the trunk.

    - B

On Oct 30, 2014, at 1:23 PM, moonkid at posteo.org wrote:

> On 2014-10-29 18:59 <moonkid at posteo.org> wrote:
>> It costs me time to find out how to build unsion-manual.tex.
>> 
>> I can only build it with "make". It makes sence in a source-repository
>> of course.
>> 
>> But there should be a way or a informative error message when someone
>> try to build a tex-file the usual way - with a tex-environment.
>> 
>> "textdirectives.tex not found."
> 
> I build made a patch for this.
> What do you think?
> 
> PS: Is this way of creating and distributing a patch ok?<local.tex.diff>_______________________________________________
> Unison-hackers mailing list
> Unison-hackers at lists.seas.upenn.edu
> http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers