Re: [DOCS] [9.3] Should we mention "set_config(...)" in 18.1.3 in Server Configuration?

2014-09-09 Thread David Johnston
On Tue, Sep 9, 2014 at 3:13 PM, Bruce Momjian wrote: > On Thu, Jun 12, 2014 at 11:32:49AM -0400, David Johnston wrote: > > This addition still needs some work as well as the patch as a whole (see > my > > comments above). The attached PDF is the page that results from "make > html"; > > the orig

Re: [DOCS] [9.3] Should we mention "set_config(...)" in 18.1.3 in Server Configuration?

2014-09-09 Thread Bruce Momjian
On Thu, Jun 12, 2014 at 11:32:49AM -0400, David Johnston wrote: > This addition still needs some work as well as the patch as a whole (see my > comments above).  The attached PDF is the page that results from "make html"; > the original patch has been re-attached as well and -hackers copied given t

[DOCS] Usage-statistic of documentation available?

2014-09-09 Thread Torsten Zühlsdorff
Hello, i want to translate the very fine documentation of PostgreSQL into german. Like some others i already failed (more then one time). Now i want to try a more pragmatic procedure. I'm heading to translate the parts of the documentation which are read most at first. Therefore i want to a