On Thursday 25 June 2009 04:12:37 pm Alfred M. Szmidt wrote: > 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'? Imagine embedded systems or other tiny machines. I know, if it's big enough to host GCC then it's big enough to temporarily install the documentation. I'm just responding to a request made of me and trying to find the best way to go about it. -- Kirk Strauser Daycos _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
