strip more ?

[nlopt.git] / debian / libnlopt-dev.install

diff --git a/debian/libnlopt-dev.install b/debian/libnlopt-dev.install
index 776358b1011866e48b71d325df41cabddb4668df..25ab46a82c189abef29f1d0bfd3015a5b136ff33 100644 (file)
--- a/debian/libnlopt-dev.install
+++ b/debian/libnlopt-dev.install
@@ -1,5 +1,5 @@
 usr/include
 usr/lib/*/libnlopt.so
-usr/lib/*/libnlopt.a
+#usr/lib/*/libnlopt.a
 usr/lib/*/pkgconfig/nlopt.pc
 usr/share/man/man3/*