Re: making docs
- From
Brian Gernhardt <benji@silverinsanity.com>
- Date
- Apr 14, 2009, 13:18 UTC
- 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:
Show 9 quoted lines
> 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