Re: [RFC/PATCH] Add support for a pdf version of the user manual

"Leo Razoumov" [off-list ref] writes:

On 12/10/08, Junio C Hamano [off-list ref] wrote:

quoted

"Leo Razoumov" [off-list ref] 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?

As an optional "make" target, as long as it works for people with the
necessary toolchain, I have no problem with the patch, but I would
complain if the usual "make doc" try to run the tool I do not want to run
with my regular build.  I didn't check.