This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to add index of command line options to gcc manual
- To: jsm28 at cam dot ac dot uk
- Subject: Re: Patch to add index of command line options to gcc manual
- From: Mark Mitchell <mark at codesourcery dot com>
- Date: Fri, 08 Jun 2001 09:08:55 -0700
- Cc: gcc-patches at gcc dot gnu dot org, pfeifer at dbai dot tuwien dot ac dot at
- Organization: CodeSourcery, LLC
- References: <Pine.LNX.4.33.0106081202170.4626-102000@kern.srcf.societies.cam.ac.uk>
>>>>> "Joseph" == Joseph S Myers <jsm28@cam.ac.uk> writes:
Joseph> both mainline and branch; OK to commit to both?
Yes. Thanks.
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com