This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: Patch: require make dvi for doc changes


On Sun, May 20, 2001 at 02:56:41PM +0100, Joseph S. Myers wrote:
> It is not infrequent for documentation changes to break "make dvi".  I
> think we should require them to pass "make info" and "make dvi"; OK to
> commit the following patch?

Ok.



r~


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]