[DOCS] indexterm of pg_notify

2010-05-17 Thread Fujii Masao
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 Sour

Re: [DOCS] indexterm of pg_notify

2010-05-17 Thread Robert Haas
On Mon, May 17, 2010 at 8:49 AM, Fujii Masao 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 be

Re: [DOCS] indexterm of pg_notify

2010-05-17 Thread Tom Lane
Robert Haas writes: > On Mon, May 17, 2010 at 8:49 AM, Fujii Masao 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 me

Re: [DOCS] indexterm of pg_notify

2010-05-17 Thread Alvaro Herrera
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

Re: [DOCS] indexterm of pg_notify

2010-05-17 Thread Fujii Masao
On Tue, May 18, 2010 at 4:39 AM, Alvaro Herrera 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", p

Re: [DOCS] indexterm of pg_notify

2010-05-17 Thread Robert Haas
On Mon, May 17, 2010 at 10:15 PM, Fujii Masao wrote: > On Tue, May 18, 2010 at 4:39 AM, Alvaro Herrera > 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