inconsistent handling of 'Top' node case in refs and in nodes

[Dumas Patrice]

Hi,

I use makeinfo 4.5.

The 'Top' node is treated inconsistently:

nodes and anchors
-----------------

It is impossible to create 2 nodes with different case for Top, however it
is possible to have anchors with a different case than the node. For example

@node Top

@node top

is forbidden, but

@node Top
@anchor{TOP}

is allowed.

refs
----

ref to case variants of top in menus and node prev, next, up leads all to 
the top node even when there is an anchor.

Refs in @*ref commands leads to the anchor. If there is no anchor nor node 
named after a top variant (in case), there is an error for the @*ref commands.

The 2 files attached illustrate those points (one gives errors, the other not).

Pat

error_top.texi
Description: TeXInfo document

no_error_top.texi
Description: TeXInfo document