From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14237 invoked by alias); 3 Aug 2010 18:46:16 -0000 Received: (qmail 14227 invoked by uid 22791); 3 Aug 2010 18:46:16 -0000 X-SWARE-Spam-Status: No, hits=-2.1 required=5.0 tests=AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 03 Aug 2010 18:46:10 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 192702BAB61; Tue, 3 Aug 2010 14:46:09 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id sXw-KXxmvbdc; Tue, 3 Aug 2010 14:46:09 -0400 (EDT) Received: from [127.0.0.1] (nile.gnat.com [205.232.38.5]) by rock.gnat.com (Postfix) with ESMTP id 8E3382BAB7D; Tue, 3 Aug 2010 14:45:58 -0400 (EDT) Message-ID: <4C5863D6.5090808@adacore.com> Date: Tue, 03 Aug 2010 18:46:00 -0000 From: Robert Dewar User-Agent: Thunderbird 2.0.0.24 (Windows/20100228) MIME-Version: 1.0 To: Richard Kenner CC: mark@codesourcery.com, Joe.Buck@synopsys.com, ams@gnu.org, bkoz@redhat.com, dnovillo@google.com, gcc@gcc.gnu.org, iant@google.com, richard.guenther@gmail.com, stevenb.gcc@gmail.com Subject: Re: GFDL/GPL issues References: <4BFC6EF0.4090908@codesourcery.com> <4C4E37FC.1060208@adacore.com> <4C4F010C.5060401@codesourcery.com> <20100727180738.GU17485@synopsys.com> <4C4F20E8.5050206@codesourcery.com> <4C509E54.6090401@codesourcery.com> <11007291247.AA02219@vlsi1.ultra.nyu.edu> <4C5195FA.2060208@codesourcery.com> <4C52B176.7040807@adacore.com> <4C52E1C0.6090400@codesourcery.com> <4C53696B.7030801@adacore.com> <4C536B50.4010402@codesourcery.com> <11008022335.AA09107@vlsi1.ultra.nyu.edu> <4C575891.1000106@codesourcery.com> <11008030058.AA09324@vlsi1.ultra.nyu.e du> In-Reply-To: <11008030058.AA09324@vlsi1.ultra.nyu.edu> Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2010-08/txt/msg00034.txt.bz2 It's interesting to note that in the case of GNAT, we have no licensing constraints on the documentation that would restrict automatic generation, but we just don't do it. The GNAT documentation is pretty complete, and certainly gets a lot of attention and constant improvement, since we regard it as being as important as the code. In the case of interfaces to library routines, what we do is to have fully commented Ada package specs that act as both the documentation of the implementation interface and as the user documentation (for an example, look at g-spipat.ads). I can't see any value in duplicating this information elsewhere.