bug-gnustep
[Top][All Lists]
Advanced

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

Re: Doc make change


From: Nicola Pero
Subject: Re: Doc make change
Date: Tue, 17 Jun 2003 10:07:54 +0100 (BST)

> I'd like to commit this patch. Here the make won't abort if the user 
> doesn't have the corect doc building programs. That way we can enable 
> automatic building of documentation (e.g. in base, gui, etc) without 
> worrying that the build will fail if a user doesn't have the right 
> programs. Ok?

Sounds nice to me.





reply via email to

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