Re: Add pg_partition_tree to doc index

2018-11-29 Thread Michael Paquier
On Thu, Nov 29, 2018 at 04:35:06PM +0900, Amit Langote wrote: > On 2018/11/29 16:27, Michael Paquier wrote: >> Any thoughts or objections? > > It's an oversight. Thanks for fixing it. Okay, done as long as I don't forget.. -- Michael signature.asc Description: PGP signature

Re: Add pg_partition_tree to doc index

2018-11-28 Thread Amit Langote
Hi Michael, On 2018/11/29 16:27, Michael Paquier wrote: > Hi all, > > d5eec4ee has added pg_partition_tree, unfortunately it is not showing in > the documentation index. Please see attached to fix the mistake. Oh, I wasn't aware of this index and that the tag is meant for that. > Any thoughts

Add pg_partition_tree to doc index

2018-11-28 Thread Michael Paquier
Hi all, d5eec4ee has added pg_partition_tree, unfortunately it is not showing in the documentation index. Please see attached to fix the mistake. Any thoughts or objections? -- Michael diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml index 09c77db045..112d962824 100644 --- a/doc/src/