Re: Improved security for https://www.postgresql.org/docs/current/install-make.html

2024-11-12 Thread Bear Giles
You'll want to update the existing page then! :-) My point was mostly that I did a fresh 'git clone', followed the instructions, and was immediately hit by a "permission denied" error because the make script tried to create a directory under /usr/local. It wasn't clear whether that was the only th

Re: A minor bug in doc. Hovering over heading shows # besides it.

2024-11-12 Thread Daniel Gustafsson
> On 12 Nov 2024, at 12:51, Alvaro Herrera wrote: > > By the way, is there something funny going on with the transparency of > these tooltips? I was looking at this page today > https://www.postgresql.org/docs/current/creating-cluster.html > and see it like the attached screenshot. The tooltip

Re: A minor bug in doc. Hovering over heading shows # besides it.

2024-11-12 Thread Alvaro Herrera
By the way, is there something funny going on with the transparency of these tooltips? I was looking at this page today https://www.postgresql.org/docs/current/creating-cluster.html and see it like the attached screenshot. The tooltip appears to have no background color, so the text underneath sh

Re: CREATE UNIQUE INDEX name ON table (column [, ...]) [ NULLS [ NOT ] DISTINCT ];

2024-11-12 Thread Alvaro Herrera
Hello Tim, On 2024-Nov-10, PG Doc comments form wrote: > The following documentation comment has been logged on the website: > > Page: https://www.postgresql.org/docs/17/indexes-unique.html > Description: > > This says it works from 12 onwards but actually from 15 onwards > Prior to 15 unique p