gnustep-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Making autogsdoc a separate package


From: Richard Frith-Macdonald
Subject: Re: Making autogsdoc a separate package
Date: Tue, 22 Jul 2003 13:54:09 +0100


On Tuesday, July 22, 2003, at 12:47 PM, Richard Frith-Macdonald wrote:


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.

Yes ... I looked at it and it seemed easy to fix, so I did it ... saves a few
seconds on installation, which is very nice even though I wasn't really
bothered by the delay anyway.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]