http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45888
--- Comment #5 from Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> 2010-10-07 08:03:20 UTC --- (In reply to comment #4) > There should always exist a suitable tool on systems where it is needed. > FWIW, I would just use the above in the Makefile though (after removing > the comments). Why would you remove the comments? > The hunk in that changing TEXI_GCCINT_FILES seems wrong, at least > gcc/doc/gccint.texi still has '@include tm.texi' so that's what the > dependency should be. It must depend on new-tm.texi, lest it gets not rebuilt when there is a change in the source files. You can't make tm.texi dependent on new-tm.texi, because that would again create a circularity. It think it would be OK to leave tm.texi in TEXI_GCCINT_FILES while adding new-tm.texi, though I haven't tested this. Also, there is not really any point in leaving tm.texi there, because as far as make is concerned, new-tm.texi depends (indirectly) on tm.texi.
