Junio C Hamano wrote:
> Rustom Mody <rustompmody@xxxxxxxxx> writes:
>
>> On Fri, Oct 23, 2009 at 2:11 AM, Sebastian Pipping <sping@xxxxxxxxxx> wrote:
>>> would be nice to get info pages (and pdf) doc releases in addition to
>>> html and man pages. i imagine such a change to the release machine
>>> should not be too hard to integrate. we could use it in gentoo.
>> +1
>> Why only gentoo? I would use it on ubuntu or windows as well
>
> As I understand it, Gentoo is supposed to build everything from the source
> anyway, you would not want to use pregenerated info nor pdf, no? You
> shouldn't be using pregenerated html nor man for that matter...
With "compiling" documentation things are a bit different.
Simplified, in contrast to source code compiling documentation leads to
the same results on all machines while sources produces lots of
different results depending on the configuration of the machine ("use
flags", compile flags, versions of linked libraries, ..) which differ
heavily from one machine to another.
Generating documentation downstream means more dependencies for us
without any advantages that I would be aware of. In case of dblatex the
dependencies get quite extreme actually :-) So we thought why not just
ask for it if you provide similar things already.
> FWIW, you can already say "make info" and "make pdf" yourselves if you
> have necessary toolchains installed. Integration is not an issue.
We use make info at the moment. (On a sidenote I hope you get it
working with the latest asciidoc again. See my earlier mail on this list.)
> Neither my primary development box (Debian, which I would test before
> pushing things out) nor the machine at k.org I use for the final sanity
> check (FC11, on which the documents are automatically generated) has
> dblatex nor docbook2x installed. I am not particularly enthused about
> installing a lot of dependencies for these packages on my machine. I do
> not want to bother k.org admins who are already overloaded to install
> these on their machines either.
I see, thanks for your explanation.
Sebastian
--
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