From: Junio C Hamano Date: Thu, 11 Dec 2008 00:37:40 GMT Subject: Re: [RFC/PATCH] Add support for a pdf version of the user manual Message-ID: <7v8wqny2az.fsf@gitster.siamese.dyndns.org> In-Reply-To: "Leo Razoumov" writes: > On 12/10/08, Junio C Hamano wrote: >> "Leo Razoumov" 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.