Re: Choosing not to install documentation

[Alfred M. Szmidt]

   >> 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.