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

2017-11-03 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: > > >

[GENERAL] Postgres 10 manual breaks links with anchors

2017-10-16 Thread Thomas Kellerer
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: https://www.postgresql.org/docs/current/static/sql-createindex.html#sql-createindex-concurrently I cannot simply