From: Brian Gernhardt <benji@silverinsanity.com>
Date: Tue, 14 Apr 2009 13:18:02 GMT
Subject: Re: making docs
Message-ID: <5788C28F-8C24-439D-9119-D96AFB266354@silverinsanity.com>
In-Reply-To: <ee77f5c20904140614ofa0753apaec52584f2a3878c@mail.gmail.com>


On Apr 14, 2009, at 9:14 AM, David Symonds wrote:

> On Tue, Apr 14, 2009 at 11:09 PM, Ulrich Windl
> <ulrich.windl@rz.uni-regensburg.de> wrote:
>
>> 1) Pre-build the documentation (manual pages) with the source  
>> archive. If the
>> sources are used unmodified, the manual pages should be fine
>
> This is already in the git.git repository, in the 'man' and 'html'  
> branches.

Which can be installed using `make quick-install-man` or `make quick- 
install-html`.

~~ Brian