Re: [RFC/PATCH] Add support for a pdf version of the user manual
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Dec 11, 2008, 00:37 UTC
- Message-ID
- <7v8wqny2az.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <ee2a733e0812101620s5fc2ff27p81826a5ff827e154@mail.gmail.com>
"Leo Razoumov" <slonik.az@gmail.com> writes:
Show 12 quoted lines
> On 12/10/08, Junio C Hamano <gitster@pobox.com> wrote: >> "Leo Razoumov" <slonik.az@gmail.com> 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.