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]

Patch: require make dvi for doc changes


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 
        &quot;<code>cvs update; cvs diff -c3p</code>&quot;; else, use 

-- 
Joseph S. Myers
jsm28@cam.ac.uk


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