From: David Symonds <dsymonds@gmail.com>
Date: Tue, 14 Apr 2009 13:14:09 GMT
Subject: Re: making docs
Message-ID: <ee77f5c20904140614ofa0753apaec52584f2a3878c@mail.gmail.com>
In-Reply-To: <49E4A72D.21604.198A9AD@Ulrich.Windl.rkdvmks1.ngate.uni-regensburg.de>

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.


Dave.