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

To: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
Subject: Re: Patch: require make dvi for doc changes
From: Richard Henderson <rth at redhat dot com>
Date: Sun, 20 May 2001 18:45:31 -0700
Cc: gcc-patches at gcc dot gnu dot org
References: <Pine.LNX.4.33.0105201455060.20669-100000@kern.srcf.societies.cam.ac.uk>

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~

References:
- Patch: require make dvi for doc changes
  - From: Joseph S. Myers

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