never builds gdb.info

2005-05-28 Thread Ilya N. Golubev
Neither http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=createdatabase=gdbreturn_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

gdb.info: no gdb-cfg.texi

2005-05-28 Thread Ilya N. Golubev
Version: 6.3 Can not rebuild `gdb.info' even by explicit command. At least one required file is neither in distribution nor gets built. bash ../share/gdb-6.3/configuremake bash rm ../share/gdb-6.3/gdb/doc/gdb.info* bash pushd gdb/doc;make ../../../share/gdb-6.3/gdb/doc/gdb.info;popd makeinfo

Re: gdb.info: no gdb-cfg.texi

2005-05-28 Thread Eli Zaretskii
Date: Fri, 27 May 2005 22:55:31 +0400 From: Ilya N. Golubev [EMAIL PROTECTED] Version: 6.3 Can not rebuild `gdb.info' even by explicit command. At least one required file is neither in distribution nor gets built. gdb-cfg.texi is a generated file. If you say make info, it will be

Re: never builds gdb.info

2005-05-28 Thread Eli Zaretskii
Date: Fri, 27 May 2005 22:48:46 +0400 From: Ilya N. Golubev [EMAIL PROTECTED] Version: 6.3 `make' does not even try to build `gdb.info'. ../share/gdb-6.3/configuremake rm ../share/gdb-6.3/gdb/doc/gdb.info* make ls ../share/gdb-6.3/gdb/doc/gdb.info* ls: