Re: No texi2html

[John Mandereau]

On 2008/09/25 15:25 +0200, Francisco Vila wrote: 
> If I don't have installed texi2html and I'll prefer only to build and
> check the PDF docs, how must I proceed?

If you really don't want to install texi2html from CVS, rerun configure.

If you want to only build (or rebuyild) the PDF docs (which is a
completely different issue), do

make web-1

This is a nice side effect of splitting docs building in 2 stages for
the sake of generating node names maps for texi2html.

HTH,
John