Re: Making autogsdoc a separate package

[Nicola Pero]

> > When I type 'make', then 'make install', autogsdoc is run during 'make
> > install'.  This is plainly wrong, and causes 'make install' to be
> > unreasonably slow and often/consistently fail on my systems.  Which is 
> > why
> > I always turn off generating documentation.
> 
> 1. I don't know why it should fail ... but again that's a reason for as bug
> report and a fix.
> 2. If it's run unnecessarily (and I think it probably is), that's a bug in
> the makefiles package,

Yes - not in my code though.  When I tried to produce a fix for this, it
was refused.