Re: [PATCH] Add support for an info version of the user manual

From: Jakub Narebski <jnareb@gmail.com>
Date: Aug 6, 2007, 17:44 UTC
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