Thread: indexterm of pg_notify

indexterm of pg_notify

From
Fujii Masao
Date:
Hi,

In the index of current document, "pg_notify" is tied to the
word "Notes". This is odd for me.
http://developer.postgresql.org/pgdocs/postgres/bookindex.html

How about the patch to tie "pg_notify" to "NOTIFY"?

Regards,

--
Fujii Masao
NIPPON TELEGRAPH AND TELEPHONE CORPORATION
NTT Open Source Software Center

Attachment

Re: indexterm of pg_notify

From
Robert Haas
Date:
On Mon, May 17, 2010 at 8:49 AM, Fujii Masao <masao.fujii@gmail.com> wrote:
> Hi,
>
> In the index of current document, "pg_notify" is tied to the
> word "Notes". This is odd for me.
> http://developer.postgresql.org/pgdocs/postgres/bookindex.html
>
> How about the patch to tie "pg_notify" to "NOTIFY"?

I think that's because the "Notes" section of that page is the only
place in the documentation that pg_notify() is mentioned...  I agree
it looks a little weird, but it's nice that it jumps to the specific
section of the page that is relevant.

--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise Postgres Company

Re: indexterm of pg_notify

From
Tom Lane
Date:
Robert Haas <robertmhaas@gmail.com> writes:
> On Mon, May 17, 2010 at 8:49 AM, Fujii Masao <masao.fujii@gmail.com> wrote:
>> In the index of current document, "pg_notify" is tied to the
>> word "Notes". This is odd for me.

> I think that's because the "Notes" section of that page is the only
> place in the documentation that pg_notify() is mentioned...  I agree
> it looks a little weird, but it's nice that it jumps to the specific
> section of the page that is relevant.

Yeah, the link would be less useful if it just pointed to the whole
page.  It would be nice though if the index entry said something more
specific than "Notes", perhaps "NOTIFY Notes".  Is there a way to
control the label used for an index link?

            regards, tom lane

Re: indexterm of pg_notify

From
Alvaro Herrera
Date:
Excerpts from Tom Lane's message of lun may 17 11:38:29 -0400 2010:

> Yeah, the link would be less useful if it just pointed to the whole
> page.  It would be nice though if the index entry said something more
> specific than "Notes", perhaps "NOTIFY Notes".  Is there a way to
> control the label used for an index link?

Doesn't look like there is :-(
--

Re: indexterm of pg_notify

From
Fujii Masao
Date:
On Tue, May 18, 2010 at 4:39 AM, Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
> Excerpts from Tom Lane's message of lun may 17 11:38:29 -0400 2010:
>
>> Yeah, the link would be less useful if it just pointed to the whole
>> page.  It would be nice though if the index entry said something more
>> specific than "Notes", perhaps "NOTIFY Notes".  Is there a way to
>> control the label used for an index link?
>
> Doesn't look like there is :-(

How about creating new subsection "pg_notify" under "Notes" and placing
the description about pg_notify in it? Here is the patch.

Regards,

--
Fujii Masao
NIPPON TELEGRAPH AND TELEPHONE CORPORATION
NTT Open Source Software Center

Attachment

Re: indexterm of pg_notify

From
Robert Haas
Date:
On Mon, May 17, 2010 at 10:15 PM, Fujii Masao <masao.fujii@gmail.com> wrote:
> On Tue, May 18, 2010 at 4:39 AM, Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
>> Excerpts from Tom Lane's message of lun may 17 11:38:29 -0400 2010:
>>
>>> Yeah, the link would be less useful if it just pointed to the whole
>>> page.  It would be nice though if the index entry said something more
>>> specific than "Notes", perhaps "NOTIFY Notes".  Is there a way to
>>> control the label used for an index link?
>>
>> Doesn't look like there is :-(
>
> How about creating new subsection "pg_notify" under "Notes" and placing
> the description about pg_notify in it? Here is the patch.

Looks good to me.  Committed.

--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise Postgres Company