Re: Trouble generating info documentation
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 2, 2008, 18:59 UTC
- Message-ID
- <7vsl1gvysm.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <20080102170556.GD29972@genesis.frugalware.org>
Miklos Vajna <vmiklos@frugalware.org> writes:
Show 6 quoted lines
> On Wed, Jan 02, 2008 at 01:37:48PM +0100, David Kastrup <dak@gnu.org> 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.