diff options
| author | Michael Biebl <biebl@debian.org> | 2011-04-09 06:38:49 +0200 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2011-04-09 06:38:57 +0200 |
| commit | 90b0676bfbe3ad7605cf30cf19679e049375ef3e (patch) | |
| tree | cd9b1a9bbbd95a462b0e50dc2347f48450bf7ab6 /debian/network-manager-dev.install | |
| parent | fd3a28796a2957e0d4ffb32f4a4c03dbe26b9c71 (diff) | |
Update install files.
- Drop static libraries from *-dev packages. - Install new header files for libnm-glib-dev. - Install network-manager gtk-doc documentation. - Drop keyfile plugin, it is now built into the core.
Diffstat (limited to 'debian/network-manager-dev.install')
| -rw-r--r-- | debian/network-manager-dev.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/network-manager-dev.install b/debian/network-manager-dev.install index c418a284..4e527b59 100644 --- a/debian/network-manager-dev.install +++ b/debian/network-manager-dev.install @@ -2,3 +2,4 @@ debian/tmp/usr/lib/pkgconfig/NetworkManager.pc debian/tmp/usr/include/NetworkManager/NetworkManager.h debian/tmp/usr/include/NetworkManager/NetworkManagerVPN.h debian/tmp/usr/include/NetworkManager/nm-version.h +debian/tmp/usr/share/gtk-doc/html/NetworkManager/ |