Re: making docs
- From
David Symonds <dsymonds@gmail.com>
- Date
- Apr 14, 2009, 13:14 UTC
- 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.