"Leo Razoumov" <slonik.az@xxxxxxxxx> writes: > 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? 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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html