From: Jakub Narebski <jnareb@gmail.com>
Date: Mon, 06 Aug 2007 17:44:39 GMT
Subject: Re: [PATCH] Add support for an info version of the user manual
Message-ID: <f985v4$b14$1@sea.gmane.org>
In-Reply-To: <86ir7tc5xk.fsf@lola.quinscape.zz>

[Cc: David Kastrup <dak@gnu.org>, git@vger.kernel.org]

David Kastrup wrote:

> These patches use docbook2x in order to create an info version of the
> git user manual.
[...]
> ---
>  Documentation/Makefile |   28 ++++++++++++++++++++++++++++
>  Makefile               |    6 ++++++
>  2 files changed, 34 insertions(+), 0 deletions(-)
[...]

First, a note on patch: please use $(AWK) instead of 'awk', just in case.

It would be nice to add a paragraph about build requirements for info
version of Git User's Manual in the INSTALL file.

In the future we would probably want configure.ac to support --with-info or
something like that to install documentation in info format (it does
support --infodir), perhaps with awk autodetection and docbook2x
autodetection.

-- 
Jakub Narebski
Warsaw, Poland
ShadeHawk on #git