> (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 `INSTALL' file to document this, um, irregularity. > "make info" to get the documentation built. Or remove `gdb.info' from src dir, and `make gdb-cfg.texi gdb.info' in build one. _______________________________________________ Bug-gdb mailing list Bug-gdb@gnu.org http://lists.gnu.org/mailman/listinfo/bug-gdb