never builds gdb.info

[Ilya N. Golubev]

Neither
http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=create&database=gdb&return_url=http%3A%2F%2Fsources.redhat.com%2Fcgi-bin%2Fgnatsweb.pl%3Fdatabase%3Dgdb%26user%3Dguest%26password%3Dguest%26cmd%3Dquery

referenced by <http://www.gnu.org/software/gdb/bugs/> sends
confirmation message about submitted report, nor the submitted report
can be found in the database.  Sending it this way.

Version: 6.3

`make' does not even try to build `gdb.info'.

../share/gdb-6.3/configure&&make
rm ../share/gdb-6.3/gdb/doc/gdb.info*
make
ls ../share/gdb-6.3/gdb/doc/gdb.info*

ls: ../share/gdb-6.3/gdb/doc/gdb.info*: No such file or directory