info -f does not ignore ./

[Bruno Haible]

Hi,

According to POSIX, a "./" in a path is redundant and can be omitted.
Not so for the info program's -f option, which is documented as

       -f, --file=FILENAME
              specify Info file to visit.

I have a file gettext-tools/doc/gettext.info. Now look what happens when I
invoke the info program.

In the gettext-tools/doc/ directory:

1)
  $ info -f gettext
  searches the gettext.info file in the INFOPATH, *not* in the current 
directory.

2)
  $ info -f ./gettext
  finds it in the current directory.

In the gettext-tools/ directory:

3)
  $ info -f doc/gettext
  info: doc/gettext: No such file or directory

  $ info -f doc/./gettext
  info: doc/./gettext: No such file or directory

4)
  $ info -f ./doc/gettext
  finds it in the doc/ directory.

I would classify 1) and 3) as bugs.

Bruno