Re: Makefile.def and fixincludes/Makefile.in inconsistency?

[Paolo Bonzini]

Am I correct in guessing that the "missing" lines in Makefile.def are 
not currently needed?  Or are they merely present in the GCC fixincludes 
but missing in the fixincludes directories in some other trees that 
share the top-level build files?

Yes, a patch that removes the "missing" lines for "info", "dvi", "pdf", 
"installcheck" (not "install-info" and "TAGS" is preapproved).  Please 
test it with a "make info", "make dvi", "make pdf" and "make 
installcheck" from the toplevel.

Thanks!

Paolo