Re: [HACKERS] [GENERAL] Postgres 10 manual breaks links with anchors

2017-10-27 Thread Tom Lane
Peter Eisentraut writes: > On 10/26/17 16:10, Tom Lane wrote: >> In view of commit 1ff01b390, aren't we more or less locked into >> lower-case anchors going forward? > The details are more complicated. ... Ah. I'd imagined that we were using the original case

Re: [HACKERS] [GENERAL] Postgres 10 manual breaks links with anchors

2017-10-27 Thread Peter Eisentraut
On 10/26/17 16:10, Tom Lane wrote: > Peter Eisentraut writes: >> On 10/16/17 03:19, Thomas Kellerer wrote: >>> I don't know if this is intentional, but the Postgres 10 manual started to >>> use lowercase IDs as anchors in the manual. > >> Here is a patch that

Re: [HACKERS] [GENERAL] Postgres 10 manual breaks links with anchors

2017-10-26 Thread Tom Lane
Peter Eisentraut writes: > On 10/16/17 03:19, Thomas Kellerer wrote: >> I don't know if this is intentional, but the Postgres 10 manual started to >> use lowercase IDs as anchors in the manual. > Here is a patch that can be applied to PG 10 to put the upper

Re: [HACKERS] [GENERAL] Postgres 10 manual breaks links with anchors

2017-10-26 Thread Peter Eisentraut
On 10/16/17 03:19, Thomas Kellerer wrote: > I don't know if this is intentional, but the Postgres 10 manual started to > use lowercase IDs as anchors in the manual. > > So, if I have e.g.: the following URL open in my browser: > > >