Re: [PATCH] doc/local.tex (was: [maybe-BUG] unison-manual.tex only with make)
"Benjamin C. Pierce" <[email protected]>
| Newsgroups | gmane.network.unison.devel |
|---|---|
| Message-ID | <[email protected]> |
Thanks — I’ve put it in (my local copy of) the trunk.
- B
On Oct 30, 2014, at 1:23 PM, [email protected] wrote:
> On 2014-10-29 18:59 <[email protected]> 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
> [email protected]
> http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers