From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24400 invoked by alias); 9 Jul 2005 00:32:38 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 23652 invoked by uid 22791); 9 Jul 2005 00:32:27 -0000 Received: from dumbledore.codesourcery.com (HELO mail.codesourcery.com) (65.74.133.11) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Sat, 09 Jul 2005 00:32:27 +0000 Received: (qmail 29599 invoked from network); 9 Jul 2005 00:32:25 -0000 Received: from unknown (HELO digraph.polyomino.org.uk) (joseph@127.0.0.2) by mail.codesourcery.com with ESMTPA; 9 Jul 2005 00:32:25 -0000 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.51) id 1Dr3GZ-0005UM-OS; Sat, 09 Jul 2005 00:32:23 +0000 Date: Sat, 09 Jul 2005 00:32:00 -0000 From: "Joseph S. Myers" X-X-Sender: jsm28@digraph.polyomino.org.uk To: Daniel Jacobowitz cc: Geoffrey Keating , Geoffrey Keating , gcc@gcc.gnu.org Subject: Re: move specs documentation to internals manual? In-Reply-To: <20050709002328.GA3301@nevyn.them.org> Message-ID: References: <20050708054604.67D4A15D66FE@geoffk5.apple.com> <20050709002328.GA3301@nevyn.them.org> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-SW-Source: 2005-07/txt/msg00314.txt.bz2 On Fri, 8 Jul 2005, Daniel Jacobowitz wrote: > > So, what do people think about (a) deleting the big comment in gcc.c > > that tries to explain specs (leaving a pointer to the manual), and (b) > > moving the specs documentation to the internals manual? > > I think it's a good idea - but someone should compare the two existing > bits of documentation first, since IIRC I've seen people add to one but > not the other. Agreed. The documentation of -dumpspecs and -specs= should point to the internals manual information on specs, but that should be the only reference needed in the user manual. -- Joseph S. Myers http://www.srcf.ucam.org/~jsm28/gcc/ jsm@polyomino.org.uk (personal mail) joseph@codesourcery.com (CodeSourcery mail) jsm28@gcc.gnu.org (Bugzilla assignments and CCs)