On Sat, Sep 18, 1999 at 09:24:56PM -0500, Alex Shinn wrote: > Shouldn't that be "./cross-install --download <server>"?
Yes. > Or better yet, provide a default server in the script? No, we want people to use mirrors. Thanks, Marcus -- `Rhubarb is no Egyptian god.' Debian http://www.debian.org Check Key server Marcus Brinkmann GNU http://www.gnu.org for public PGP Key [EMAIL PROTECTED] PGP Key ID 36E7CD09 http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/
