diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-02-22 01:46:27 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-02-22 01:46:27 +0000 |
| commit | 73da2c908a2b50823c520a5ff1c7d31f3138a5e4 (patch) | |
| tree | b25be19aaa43b20c0e163b069520d0e69cc4ab41 /debian/hurd-dev.install | |
| parent | 36261f6f0909abc6893c920445b800d81c02c921 (diff) | |
Add libddekit and libdde_linux26 headers.
Diffstat (limited to 'debian/hurd-dev.install')
| -rw-r--r-- | debian/hurd-dev.install | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/debian/hurd-dev.install b/debian/hurd-dev.install index 76681792..2bfce014 100644 --- a/debian/hurd-dev.install +++ b/debian/hurd-dev.install @@ -1,4 +1,7 @@ debian/tmp/lib/*.a lib debian/tmp/include/* usr/include debian/tmp/lib/*.so lib -lib/src/libdde_*.a usr/lib +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 |