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 <[email protected]> > * 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
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
