Re: adding a TOC to the psql reference page

2020-04-30 Thread grg bnc
For SQL commands that are: - heavily used, and - structurally involved i'd say yes (`CREATE TABLE` comes to mind); otherwise, don't bother. The above selection criteria are subjective, so consensus should be gathered. On Fri, May 1, 2020 at 12:16 AM Bruce Momjian wrote: > On Thu, Apr 30, 202

Re: adding a TOC to the psql reference page

2020-04-30 Thread David G. Johnston
On Thu, Apr 30, 2020 at 3:17 PM Bruce Momjian wrote: > On Thu, Apr 30, 2020 at 08:48:09PM +, PG Doc comments form wrote: > > > Since https://www.postgresql.org/docs/current/app-psql.html is quite > long, > > it would be nice to add a detailed table of contents at its beginning, in > > order t

Re: adding a TOC to the psql reference page

2020-04-30 Thread Tom Lane
Bruce Momjian writes: > On Thu, Apr 30, 2020 at 08:48:09PM +, PG Doc comments form wrote: >> Since https://www.postgresql.org/docs/current/app-psql.html is quite long, >> it would be nice to add a detailed table of contents at its beginning, > Yes, I can see the value in that, but I don't thi

Re: adding a TOC to the psql reference page

2020-04-30 Thread Bruce Momjian
On Thu, Apr 30, 2020 at 08:48:09PM +, PG Doc comments form wrote: > The following documentation comment has been logged on the website: > > Page: https://www.postgresql.org/docs/12/app-psql.html > Description: > > Since https://www.postgresql.org/docs/current/app-psql.html is quite long, > it

adding a TOC to the psql reference page

2020-04-30 Thread PG Doc comments form
The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/12/app-psql.html Description: Since https://www.postgresql.org/docs/current/app-psql.html is quite long, it would be nice to add a detailed table of contents at its beginning, in order to: -