(although personally I think it's a wrong design):
So do I. In particular, if `gdb.texinfo' or other `gdb.info'
prerequisite was changed, will `make install' install updated
`gdb.info' version? Putting checking this in my `todo' list.
The worst is that distribution does not even contain
Date: Mon, 30 May 2005 22:08:17 +0400
From: Ilya N. Golubev [EMAIL PROTECTED]
CC: bug-gdb@gnu.org
if `gdb.texinfo' or other `gdb.info' prerequisite was changed, will
`make install' install updated `gdb.info' version?
Yes, it should.
The worst is that distribution does not even contain
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
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: