[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Choosing not to install documentation

From: Alfred M. Szmidt
Subject: Re: Choosing not to install documentation
Date: Fri, 26 Jun 2009 12:52:33 -0400

   >> but isn't it easier to just do `rm -rf
   >> /usr/share/doc /usr/share/man' after `make install'?

   Easier than having "--disable-installdocs" or the equivalent?  I
   don't personally think so.

You need to add --disable-installdocs to _all_ packages that use
autoconf, this is non-trivial.  A side note is that it is also the
wrong place for such a switch, since documentation has little to do
with configure time setups, but how one installs the package.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]