On Mon, Dec 17, 2001 at 12:10:03PM +0100, Alistair Crooks wrote: > Manuel, > > Please commit this. Done. I added a comment explaining this will try to fetch from the local distfile mirror before ${MASTER_SITE}, which other mirror examples don't do. -- Manuel Bouyer, LIP6, Universite Paris VI. Manuel.Bouyer@lip6.fr --