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... FWIW, you can already say "make info" and "make pdf" yourselves if you have necessary toolchains installed. Integration is not an issue. 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. -- 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