Re: [gnutls-dev] Preparing for the next stable release

[Ludovic Courtès]

Hey,

Simon Josefsson <address@hidden> writes:

> Hmm, do we need to change the node names?  Perhaps we only need to
> change the titles?  I mean:
>
>  @node Authentication methods
> address@hidden Authentication methods
> address@hidden Authentication Methods

Yes, we could do that.

> Is there any place (except the HTML filenames, which doesn't seem very
> important) where the node name is shown to readers?

In menus and next/previous/up/down pointers in HTML files produced by
`makeinfo'.

> Anyway, now is a very good time to make changes like this, so we'd might
> as well change the node names too.

Why not.  It depends on the likelihood that other manuals already rely
on these node names.  Were they the same in 1.6?  Any idea of what
manuals link to the GnuTLS manual?

Thanks,
Ludovic.