diff options
| author | Michael Banck <mbanck@debian.org> | 2005-03-24 17:12:45 +0000 |
|---|---|---|
| committer | Michael Banck <mbanck@debian.org> | 2005-03-24 17:12:45 +0000 |
| commit | 290151a5689904df1095d58c308ea21e71593e14 (patch) | |
| tree | 36bca072d352f4d52320510ef6be4ddab0bee13a /debian/hurd-dev.install | |
| parent | cc3464bd152ff6de4a66d5d35d177906c17ac7b4 (diff) | |
* debian/hurd-dev.install: Install development libraries into /lib,
not /usr/lib.
Diffstat (limited to 'debian/hurd-dev.install')
| -rw-r--r-- | debian/hurd-dev.install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/hurd-dev.install b/debian/hurd-dev.install index 68e9982f..7bd68e9f 100644 --- a/debian/hurd-dev.install +++ b/debian/hurd-dev.install @@ -1,3 +1,3 @@ -debian/tmp/lib/*.a usr/lib +debian/tmp/lib/*.a lib debian/tmp/include/* usr/include -debian/tmp/lib/*.so usr/lib +debian/tmp/lib/*.so lib |