[darcs-users] darcs patch: Resolve issue1271: only make darcs_print.pdf (never da...

Eric Kow kowey at darcs.net
Fri Jan 2 16:17:05 UTC 2009


Trent, Petr,

On Wed, Dec 31, 2008 at 23:13:41 -0800, Trent W. Buck wrote:
> Thu Jan  1 17:37:37 EST 2009  Trent W. Buck <trentbuck at gmail.com>
>   * Resolve issue1271: only make darcs_print.pdf (never darcs.pdf).

> - -doc/manual/darcs.ps: doc/manual/darcs_print.ps
> - -	cp $< $@
> - -doc/manual/darcs.pdf: doc/manual/darcs_print.pdf
> - -	cp $< $@

I realise that the redundancy is irritating, but I vote that we leave
well enough alone (especially for the release).

My concern is that people are expecting the manual to be darcs.{ps,pdf}
and not darcs_print.{ps,pdf}.  (that said, I suspect most people just
use the HTML version anyway)

(I await your instructions)

-- 
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20090102/f3dd5b5a/attachment.pgp 


More information about the darcs-users mailing list