Under certain circumstances, users don't want to install *any* documentation files from my project. I'm not sure what those conditions are, or why it is a good idea to make live hard for users; but isn't it easier to just do `rm -rf /usr/share/doc /usr/share/man' after `make install'? _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
