| From: | ilmari(at)ilmari(dot)org (Dagfinn Ilmari Mannsåker ) |
|---|---|
| To: | pgsql-hackers(at)postgresql(dot)org |
| Subject: | [PATCH] Add section headings to index types doc |
| Date: | 2020-07-31 09:30:59 |
| Message-ID: | 877dukhvzg.fsf@wibble.ilmari.org |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
Hi hackers,
Every time I have to look up what kinds of operations each index type is
suitable for, I get annoyed by the index types page being virtually
unskimmable due to not having headings for each index type.
Attached is a patch that adds <sect2> tags for each index type to make
it easier to see where the description of each one starts.
- ilmari
--
"The surreality of the universe tends towards a maximum" -- Skud's Law
"Never formulate a law or axiom that you're not prepared to live with
the consequences of." -- Skud's Meta-Law
| Attachment | Content-Type | Size |
|---|---|---|
| 0001-Add-section-headers-to-index-types-doc.patch | text/x-diff | 20.1 KB |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Ashutosh Bapat | 2020-07-31 09:36:31 | Re: [PATCH] Remove useless distinct clauses |
| Previous Message | Pierre Ducroquet | 2020-07-31 08:41:19 | [PATCH] Remove useless distinct clauses |