On Wed, Dec 10, 2008 at 07:20:42PM -0500, Leo Razoumov <slonik.az@xxxxxxxxx> wrote: > On 12/10/08, Junio C Hamano <gitster@xxxxxxxxx> wrote: > > "Leo Razoumov" <slonik.az@xxxxxxxxx> writes: > > > > > BTW, for those of us without dblatex, is it possible to have pdf > > > manual pregenerated the same way html and man pages are pregenerated > > > for official releases in the git repo? > > > > > > Those of us includes myself, so... > > Ouch:-) Does it mean that such a useful patch has a low probability of > being accepted? First, just like the info pages, I don't think it's a problem at all if the autogenerated pdf version is not part of git.git. I sent the patch to provide an easy way to do the pdf generation, not to request the autobuild of it as well. Second, I think the autogeneration for pdf should not be done similar to the man/html versions, as the pdf itself is 421K. However, I'm happy to set up a nightly cron job to build the pdf in case master is updated and/or there is a new release - in case there is demand for that.
Attachment:
pgpVLIjfOaiZj.pgp
Description: PGP signature
