This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] I broke `make install' and `make dvi'
Ok, thanks. Sorry for not catching this in my review.
Just for the record, the patch does not cause PR12512 to resurface again
(that is the bug that prompted the transition to double-colon rules for
`make dvi') because a proper fix for that bug was to move dvi files into
the doc subdirectory, and Kelley Cook did so in his
http://gcc.gnu.org/ml/gcc-patches/2003-10/msg02514.html patch.
Paolo