Re: Cannot build docs on Ubuntu 10.04?

Álvaro Herrera wrote :

> What configure would have done is put the correct value of the

> DOCBOOKSTYLE variable in Makefile.global.  In Josh's case,

> collateindex.pl was not found so the variable is empty, with the results
you see.


I see,  thanks.

Tom Lane wrote :


> No, that would not be an improvement.  If collateindex.pl were in your

> PATH, then configure would have found it (cf PGAC_PATH_COLLATEINDEX),

> and so COLLATEINDEX would be set and we'd not be here at all.


Ok

> Maybe the Makefile should just error out if COLLATEINDEX isn't set,

> rather than trying a "fallback" value that configure has already

> determined isn't going to work.


actually,  now I understand what happened,   I suggest adding an additional configure option
 --disable-docs

and configure should baulk if neither --disable-docs nor  collateindex.pl in the PATH.
That makes it explicit.

Cheers    John