| From: | Jürgen Purtz <juergen(at)purtz(dot)de> |
|---|---|
| To: | me+github(at)nenad(dot)dev, pgsql-docs(at)lists(dot)postgresql(dot)org |
| Subject: | Re: Headers for each index |
| Date: | 2021-07-20 10:11:04 |
| Message-ID: | ea63c888-e797-7462-aabc-9d40fc26b5de@purtz.de |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
> The following documentation comment has been logged on the website:
>
> Page: https://www.postgresql.org/docs/13/indexes-types.html
> Description:
>
> For easier visual navigation could you please add headers or color the
> different types of indexes? At the moment, one needs to read the whole
> document or do search in the page to find the available indexes.
>
> Thanks a ton!
The look&feel has changed in version 14 in a way that hopefully matches
your suggestion: https://www.postgresql.org/docs/14/indexes-types.html
--
Jürgen Purtz
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Elena Indrupskaya | 2021-07-20 12:58:00 | Minor language edits for PostgreSQL 14 Release Notes |
| Previous Message | PG Doc comments form | 2021-07-19 16:23:43 | Headers for each index |