Miklos Vajna <vmiklos@xxxxxxxxxxxxxx> writes: > On Wed, Jan 02, 2008 at 01:37:48PM +0100, David Kastrup <dak@xxxxxxx> wrote: >> in my version of docbook2x, the --to-stdout option is broken and >> requires the following patch: > > according to the INSTALL file, you need docbook2X 0.8.3. the latest > stable 0.8.8 doesn't work here either. Yuck. Also docbook2x seems to be available even much less widely than other tools we use for documentation, which is double yuck. For now the "info" pages need to stay as a second class citizen, it appears. - 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