diff options
| author | Pino Toscano <pino@debian.org> | 2013-02-25 00:08:26 +0100 |
|---|---|---|
| committer | Pino Toscano <pino@debian.org> | 2013-02-25 00:08:26 +0100 |
| commit | 6531b0013344d8a36ba208e1aaaebeb109f25ac9 (patch) | |
| tree | 6c8f2c6730b57728fb71405da7b9f91363568b94 /debian/hurd-dev.install | |
| parent | 593b130d0a6a76265500bdc0ed63bce723ed98c7 (diff) | |
hurd/hurd-dev: install more stuff via dh_install
... instead of copying them manually.
Diffstat (limited to 'debian/hurd-dev.install')
| -rw-r--r-- | debian/hurd-dev.install | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/hurd-dev.install b/debian/hurd-dev.install index 2bfce014..181fc63f 100644 --- a/debian/hurd-dev.install +++ b/debian/hurd-dev.install @@ -5,3 +5,5 @@ libdde_linux26/lib/src/libdde_*.a usr/lib libdde_linux26/mk usr/share/libdde_linux26 libdde_linux26/Makeconf* usr/share/libdde_linux26 debian/tmp/usr/share/libdde_linux26/build usr/share/libdde_linux26 +debian/local/cdrom.h usr/include/sys +debian/local/soundcard.h usr/include/sys |