Re: make doc

[Graham Percival]

On Tue, May 31, 2011 at 01:03:03PM +0000, James Lowe wrote:
> )2) you could try to build a specific manual.  I have a vague recollection 
> that
> )this can be done with
> )  cd Documentation/
> )  make out=www out-www/learning/index.html but this is a *very* vague
> )recolection.
> 
> [James' reply:] 
> ../scripts/auxiliar/doc-section.sh ?

No, that's an extra script that Trevor wrote.  There's a way to
build a specific manual (with all images and the like), with some
make command, using the normal build system.

Cheers,
- Graham