Re: Minor missing detail in the installation instructions on the Web page
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
Marcus.Brinkmann@ruhr-uni-bochum.de PGP Key ID 36E7CD09
http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/
Reply to: