On 30/08/12 17:36, Tom Lane wrote:
> FWIW, that suggests that this version of jade is too old. I'm not sure
> that jade per se (as opposed to the successor project openjade) can be
> used to build our docs at all --- you should check whether this is
> openjade, or really the original project.
It was the old jade. After I installed openjade, as suggested by Alvaro
and Jeff Janes, and re-ran ./configure the invocation line changed to
use openjade.
Joe