From: Vincent L. <vi...@vi...> - 2002-05-28 20:28:33
|
On Tue, May 28, 2002 at 18:30:03 +0100, Thomas Leonard wrote: > Could people check the install script still works, and installs everything > correctly? It doesn't: it doesn't take $CHOICESPATH into account. -- Vincent Lefèvre <vi...@vi...> - Web: <http://www.vinc17.org/> - 100% validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Mathématiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA |