>> 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. _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
