From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8319 invoked by alias); 7 Nov 2007 04:10:49 -0000 Received: (qmail 8309 invoked by uid 22791); 7 Nov 2007 04:10:48 -0000 X-Spam-Check-By: sourceware.org Received: from heller.inter.net.il (HELO heller.inter.net.il) (213.8.233.23) by sourceware.org (qpsmtpd/0.31) with ESMTP; Wed, 07 Nov 2007 04:10:45 +0000 Received: from HOME-C4E4A596F7 (IGLD-80-230-150-100.inter.net.il [80.230.150.100]) by heller.inter.net.il (MOS 3.7.3a-GA) with ESMTP id EBI81386 (AUTH halo1); Wed, 7 Nov 2007 06:10:40 +0200 (IST) Date: Wed, 07 Nov 2007 04:10:00 -0000 Message-Id: From: Eli Zaretskii To: Brooks Moses CC: gdb-patches@sourceware.org In-reply-to: <4730F626.806@codesourcery.com> (message from Brooks Moses on Tue, 06 Nov 2007 15:17:58 -0800) Subject: Re: [patch][gdb,etc] Add configure option to disable building internal documentation. Reply-to: Eli Zaretskii References: <4730F626.806@codesourcery.com> X-IsSubscribed: yes Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2007-11/txt/msg00105.txt.bz2 > Date: Tue, 06 Nov 2007 15:17:58 -0800 > From: Brooks Moses > > Currently, GDB's documentation targets build (and install) a number of > documents that are only relevant to people who are developing and/or > building the compiler, and which are not relevant to the end user on > whose system they have been installed. These add clutter to the system > (thereby potentially confusing users), and are an inconvenience to > people who are packaging distributions. > > This patch adds an --enable-internal-docs configure flag, which controls > whether or not this "internal" documentation is built and installed. It > is on by default, so that the current behavior is unchanged. Specifying > --disable-internal-docs (or --enable-internal-docs=no) will turn off > this "internal" documentation, so that the only documentation which is > built is that which is useful to an end-user. I have never heard neither about the problem nor this kind of solution. How can a few additional files in /usr/local/info add clutter and confuse? What other GNU packages have such configuration options?