[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