Re: [patch][gdb,etc] Add configure option to disable building internal documentation.

Eli Zaretskii
2007-11-07T04:10:49Z

> Date: Tue, 06 Nov 2007 15:17:58 -0800
> From: Brooks Moses <brooks@codesourcery.com>
>
> 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?