http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45888
--- Comment #6 from Ralf Wildenhues <Ralf.Wildenhues at gmx dot de> 2010-10-07 18:34:11 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? Because they won't work inside a makefile rule. > > 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. Hmm, but since gccint.texi file includes tm.texi it still gets rebuilt wrongly then. Oh well, guess the real issue here is that interactive things (requiring the user to do something) just can't be mapped well to make syntax. Not sure if we can do much about it. Thanks.
