[darcs-users] darcs patch: add missing make target

[Trent W. Buck]

Eric Kow <kowey at darcs.net> writes:

> On Tue, Nov 04, 2008 at 20:10:01 +0000, Ganesh Sittampalam wrote:
>> This addresses the failure of 'darcs check' on the unstable repo.
>> There may well be patches in the queue that already fix it, but
>> just in case:
>
> This was resolved by applying Trent's patch, specifically (I believe)
>
> Sat Oct 25 09:32:14 BST 2008  Trent W. Buck <trentbuck at gmail.com>
>   * Typo.
>     hunk ./GNUmakefile 349
>     -ps pdf: %: doc/manual/darcs.% doc/manual/path-theory.%
>     +ps pdf: %: doc/manual/darcs.% doc/manual/patch-theory.%

Actually, it should be fixed by *this* patch:

Thu Oct 23 16:09:26 EST 2008  Trent W. Buck <trentbuck at gmail.com>
  * Miscellaneous refactoring.

    [...]

    hunk ./GNUmakefile 374
    -doc/manual/darcs.ps:       src/darcs_print.ps
    -   cp src/darcs_print.ps doc/manual/darcs.ps
    -doc/manual/darcs.pdf:      src/darcs_print.pdf
    -   cp src/darcs_print.pdf doc/manual/darcs.pdf
    -doc/manual/patch-theory.pdf: src/patch-theory.pdf
    -   cp src/patch-theory.pdf doc/manual/
    +doc/manual/%.ps: src/%.ps
    +   cp $< $@
    +doc/manual/%.pdf: src/%.pdf
    +   cp $< $@