bug#17476: 24.3.91; [PATCH] unimplemented info entry

[Eli Zaretskii]

> From: Shigeru Fukaya <shigeru.fukaya@gmail.com>
> Cc: 17476@debbugs.gnu.org
> Date: Tue, 13 May 2014 02:53:10 +0900
> 
> >This is invalid Info.  Please ask Cygwin maintainers to fix that.
> 
> It's valid, maybe even in non-dir nodes.

Valid, assuming the menu item is a _node_ name:

  When the menu entry name and node name are the same, you can write the
  name immediately after the asterisk and space at the beginning of the
  line and follow the name with two colons.

    For example, write

       * Name::                        DESCRIPTION

  instead of

       * Name: Name.                   DESCRIPTION

As you see, "Name" here is the name of a node, not of a file.

What is invalid is to write

  * foobar::

and assume that Info will look for a _file_ named "foobar".