Hi, On Sat, Mar 10, 2007 at 02:20:40AM +0100, [EMAIL PROTECTED] wrote:
> > I have also removed some of the deprecated serverboot documentation. > > Actually, I think a considerable part of the stuff you want to remove > also applies to the "boot" command used for subhurds, so is really > useful, although it probably needs reviewing... OK, "considerable part" was wrong, it turns on a closer look. But at least the sections describing the arguments like ${host-port} etc. seem to be unique, and I guess they also apply to boot, so shouldn't be deleted... -antrik- _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd