On Tue, Jun 05, 2001 at 08:26:36AM +0200, Martin Quinson wrote: > I've fixed this bug in the spanish directory, could someone relaunch the > build process, or do we have to wait 6 hours ?
A normal scheduled build is in progress right now. > By the way, could at least the fisrt level of Makefiles be called with > "make -k", so that it does not fail on the first error ? What's so wrong with everything failing after an error in a contact.wml? It's an important page, it's likely an important bug, and it's thus important that we fix it. Having the build fail clearly raises attention. -- Digital Electronic Being Intended for Assassination and Nullification