summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2012-02-19 18:35:09 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2012-02-19 18:35:09 +0000
commit29d0d8df649036b90c588d1e87f96b72b8342063 (patch)
tree3b0a461f21a219f1720cd63274c7554e2f3a3e9c /debian
parent51b982c7a4a574cdd183fc427382dfd376b06d05 (diff)
put dde drivers in /hurd, simply
Diffstat (limited to 'debian')
-rw-r--r--debian/hurd.install10
1 files changed, 5 insertions, 5 deletions
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