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
[email protected]
http://lists.gnu.org/mailman/listinfo/autoconf

Reply via email to