From 29d0d8df649036b90c588d1e87f96b72b8342063 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Sun, 19 Feb 2012 18:35:09 +0000 Subject: put dde drivers in /hurd, simply --- debian/hurd.install | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'debian/hurd.install') diff --git a/debian/hurd.install b/debian/hurd.install index 2ffe0813..ad87beb5 100644 --- a/debian/hurd.install +++ b/debian/hurd.install @@ -67,8 +67,8 @@ debian/tmp/etc/login/README debian/tmp/etc/ttys debian/tmp/dev/MAKEDEV debian/tmp/share/msgids/hurd.msgids usr/share/msgids -dde_e100/dde_e100 /hurd/dde -dde_e1000/dde_e1000 /hurd/dde -dde_rtl8139/dde_rtl8139 /hurd/dde -dde_pcnet32/dde_pcnet32 /hurd/dde -dde_ne2k_pci/dde_ne2k_pci /hurd/dde +dde_e100/dde_e100 /hurd +dde_e1000/dde_e1000 /hurd +dde_rtl8139/dde_rtl8139 /hurd +dde_pcnet32/dde_pcnet32 /hurd +dde_ne2k_pci/dde_ne2k_pci /hurd -- cgit v1.2.3