From: Jürgen Purtz <juergen@purtz.de>
To: me+github@nenad.dev
To: pgsql-docs@lists.postgresql.org
Subject: Re: Headers for each index
Date: Tue, 20 Jul 2021 12:11:04 +0200
Message-ID: <ea63c888-e797-7462-aabc-9d40fc26b5de@purtz.de> (raw)
In-Reply-To: <162671182338.698.5254959558346988008@wrigleys.postgresql.org>
References: <162671182338.698.5254959558346988008@wrigleys.postgresql.org>
> 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
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-docs@postgresql.org
Cc: juergen@purtz.de, me+github@nenad.dev, pgsql-docs@lists.postgresql.org
Subject: Re: Headers for each index
In-Reply-To: <ea63c888-e797-7462-aabc-9d40fc26b5de@purtz.de>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox