diff options
| -rw-r--r-- | boot/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/boot/ChangeLog b/boot/ChangeLog index 7460a171..324c4a2b 100644 --- a/boot/ChangeLog +++ b/boot/ChangeLog @@ -1,3 +1,8 @@ +Tue Aug 13 16:57:22 1996 Miles Bader <miles@gnu.ai.mit.edu> + + * Makefile (device.defs): Rule removed. + (ourdevice.defs): Fix rule to work with Makeconf-generated device.defs. + Tue Aug 13 15:09:45 1996 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu> * Makefile (ourdevice.defs): Depend on local device.defs. |