Re: (dir) -> TOP_NODE_UP_URL

[Gavin Smith]

On Wed, Feb 4, 2015 at 9:50 PM, Karl Berry <address@hidden> wrote:
>     A link to the "dir" page is still generated at the Top node by
>     default
>
> Yes, the implicit (dir) link is still generated (sometimes anyway), but
> being able to override the url was the only thing I felt strongly enough
> about to implement.  I wasn't planning to do more along these lines.
>
> Although, just occurred to me, if you're saying that a link to dir.html
> is still generated sometimes despite TOP_NODE_UP_URL being set, then
> please show me.  I didn't see such a case.
>
No, I was talking about omitting the link to dir.html altogether if
TOP_NODE_UP_URL is not set.

> Meanwhile, one other thing that needs to happen is to excise the Info
> format quoting proposal stuff from the manual that you previously added
> at my request.  Of course we should keep a diff (and maybe even include
> it in the dist) so we can re-add it later, if it ever gets implemented.
> Would you like to do that annoying/laborious task?  Sorry, but so it
> goes ...
>

I'll have a look at it.