Re: Mark a reloption as indexterm

On Tue, Apr 16, 2019 at 12:14:01AM +0900, Fujii Masao wrote:
> So I used <secondary> tag again for the above style if both reloption
> and guc with the same parameter name exist. Attached is the updated
> version of the patch. This patch also marks index-reloption as indexterm.
>
> Barring any objections, I will commit this patch.

Thanks Fujii-san.  This looks fine to me.
--
Michael