From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 02 Jan 2008 18:59:37 GMT
Subject: Re: Trouble generating info documentation
Message-ID: <7vsl1gvysm.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <20080102170556.GD29972@genesis.frugalware.org>

Miklos Vajna <vmiklos@frugalware.org> writes:

> 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.