[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.
- Doc make change, Adam Fedor, 2003/06/17
- Re: Doc make change,
Nicola Pero <=