This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Patch: require make dvi for doc changes
- To: <gcc-patches at gcc dot gnu dot org>
- Subject: Patch: require make dvi for doc changes
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Date: Sun, 20 May 2001 14:56:41 +0100 (BST)
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?
It might also be a good idea for the automated regression checker to run
"make dvi", to detect patches that break it.
Index: contribute.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/contribute.html,v
retrieving revision 1.32
diff -u -r1.32 contribute.html
--- contribute.html 2001/05/18 14:37:15 1.32
+++ contribute.html 2001/05/20 13:54:43
@@ -68,7 +68,9 @@
bootstrap on least one host is required for any non-trivial change.
A full GCC testsuite run is also required. With your patch, provide a
list of hosts where the GCC testsuite was run, including an
- analysis of any regressions.
+ analysis of any regressions. Documentation changes do not
+ require a bootstrap, but must pass <code>make info</code> and
+ <code>make dvi</code>.</li>
<li> The patch itself. If you are accessing the <a href="cvs.html">
CVS repository</a> at gcc.gnu.org, use
"<code>cvs update; cvs diff -c3p</code>"; else, use
--
Joseph S. Myers
jsm28@cam.ac.uk