diff options
| -rw-r--r-- | debian/hurd.install | 10 |
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 |