On Tuesday, July 22, 2003, at 11:24 AM, Nicola Pero wrote:
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, and again we should fix it. Probably just a case of
having make check all the source/headers against a timestamp of the
last run of document generation.