Re: [DOCS] [PATCH] fix tool list for FreeBSD

2014-10-21 Thread Peter Eisentraut
On 10/20/14 3:39 PM, Dag-Erling Smørgrav wrote: > Peter Eisentraut writes: >> This replaces openjade by jade. Why? (Arguably, we should recommend >> opensp if we're going to suggest openjade.) > > More or less by accident. Neither was installed when I ran configure, > so the Makefile looked fo

Re: [DOCS] [PATCH] fix tool list for FreeBSD

2014-10-20 Thread Dag-Erling Smørgrav
Peter Eisentraut writes: > This replaces openjade by jade. Why? (Arguably, we should recommend > opensp if we're going to suggest openjade.) More or less by accident. Neither was installed when I ran configure, so the Makefile looked for jade, not openjade. In either case, you can remove text

Re: [DOCS] [PATCH] fix tool list for FreeBSD

2014-10-20 Thread Peter Eisentraut
On 10/16/14 3:12 PM, Dag-Erling Smørgrav wrote: > The list of tools required to build the documentation on FreeBSD is > outdated. The following patch fixes it: > > diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml > index 3cc1d60..9626592 100644 > --- a/doc/src/sgml/docguide.sg

[DOCS] [PATCH] fix tool list for FreeBSD

2014-10-16 Thread Dag-Erling Smørgrav
The list of tools required to build the documentation on FreeBSD is outdated. The following patch fixes it: diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml index 3cc1d60..9626592 100644 --- a/doc/src/sgml/docguide.sgml +++ b/doc/src/sgml/docguide.sgml @@ -219,10 +219,7 @@