Re: Choosing not to install documentation

2009-06-27 Thread Ralf Wildenhues
* Kirk Strauser wrote on Fri, Jun 26, 2009 at 05:09:10PM CEST: > > if INSTALLDOCS > > MAYBEDOCS = doc > > dist_doc_DATA = README > > else > > docdir = > > endif > > SUBDIRS = src $(MAYBEDOCS) > > > >(untested). > > Yielding: > > Makefile.am:5: docdir was already defined in condition TRUE, which >

Re: Choosing not to install documentation

2009-06-27 Thread Ralf Wildenhues
Hello Steffen, * Steffen Dettmer wrote on Fri, Jun 26, 2009 at 05:21:59PM CEST: > On Fri, Jun 26, 2009 at 4:54 AM, Ralf Wildenhues wrote: > >  if INSTALLDOCS > >  MAYBEDOCS = doc > >  dist_doc_DATA = README > >  else > >  docdir = > >  endif > >  SUBDIRS = src $(MAYBEDOCS) > > Can (should) SUBDIR

Re: Choosing not to install documentation

2009-06-26 Thread Alfred M. Szmidt
But at any rate, I think I've found a solution that works for me and certainly don't intend to ask GNU to rework autotools for my sole benefit? :-) Thanks, all! Eric suggest the truly right fix though. :-) ___ Autoconf mailing list Autoconf@g

Re: Choosing not to install documentation

2009-06-26 Thread Kirk Strauser
On Jun 26, 2009, at 11:52 AM, Alfred M. Szmidt wrote: You need to add --disable-installdocs to _all_ packages that use autoconf, this is non-trivial. Speaking in the general case, my somewhat easier to handle package aside: wouldn't that be just another autoconf macro? A side note is that

Re: Choosing not to install documentation

2009-06-26 Thread Eric Blake
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 According to Alfred M. Szmidt on 6/26/2009 10:52 AM: >>> 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 persona

Re: Choosing not to install documentation

2009-06-26 Thread 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.

Re: Choosing not to install documentation

2009-06-26 Thread Steffen Dettmer
On Fri, Jun 26, 2009 at 4:54 AM, Ralf Wildenhues wrote: >  if INSTALLDOCS >  MAYBEDOCS = doc >  dist_doc_DATA = README >  else >  docdir = >  endif >  SUBDIRS = src $(MAYBEDOCS) Can (should) SUBDIRS contain conditionals? Is automake smart to know that MAYBEDOCS must be entered not for install but

Re: Choosing not to install documentation

2009-06-26 Thread Kirk Strauser
On Jun 25, 2009, at 9:54 PM, Ralf Wildenhues wrote: Why should providing more choice make lives hard for those that have the choice? Thanks! I originally skipped the context of my request on the premise that it was uninteresting detail. In short, FreeBSD has a build-time option for its

Re: Choosing not to install documentation

2009-06-26 Thread Alfred M. Szmidt
> but isn't it easier to just do `rm -rf /usr/share/doc > /usr/share/man' after `make install'? And thereby remove installed documentation for hundreds of other, unrelated packages? I was guessing that the OP had a very constraied system where you would not need it, on any general pur

Re: Choosing not to install documentation

2009-06-25 Thread Kirk Strauser
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

Re: Choosing not to install documentation

2009-06-25 Thread Ralf Wildenhues
Hello Kirk, Alfred, * Alfred M. Szmidt wrote on Thu, Jun 25, 2009 at 11:12:37PM CEST: >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;

Re: Choosing not to install documentation

2009-06-25 Thread Alfred M. Szmidt
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'?

Choosing not to install documentation

2009-06-25 Thread Kirk Strauser
Under certain circumstances, users don't want to install *any* documentation files from my project. From the example in the info page for automake, I added this to configure.ac: AC_ARG_ENABLE([installdocs], [ --enable-installdocsinstall documentation], [case "${enableval}" in yes) installd