Add pg_partition_tree to doc index

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 <indexterm> is meant for
that.

Any thoughts or objections?

It's an oversight. Thanks for fixing it.

Thanks,
Amit

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