On Thu, Oct 21, 1999 at 09:40:46AM +0200, Marcel Harkema wrote: > On Wed, Oct 20, 1999 at 06:53:38PM -0400, Adam Di Carlo wrote: > > > I think we should remove drivers.sh. It seems to me that drivers.sh > > is deprecated and the only reason why a target in the top-level > > makefile would use it is if it's an out-of-date target. (see below) > > > > Thoughts? > > Correct, or move driverdisks.sh to drivers.sh and remove driverdisks.sh. And update Makefile. This was my intention when I created driverdisks.sh. -- "Planet Bog -- Pools of toxic chemicals bubble under a choking atmosphere from poisonous gases. ... But aside from that, it's not much like Earth." --Spaceman Spiff
Attachment:
pgp9axPhsUZhA.pgp
Description: PGP signature