Updated Debian configuration [A.Sheplyakov].

[ginac.git] / debian / libginac-dev.install

diff --git a/debian/libginac-dev.install b/debian/libginac-dev.install
new file mode 100644 (file)
index 0000000..19a09d2
--- /dev/null
+++ b/debian/libginac-dev.install
@@ -0,0 +1,9 @@
+debian/tmp/usr/lib/libginac.la
+debian/tmp/usr/lib/libginac.a
+debian/tmp/usr/lib/libginac.so
+debian/tmp/usr/include/ginac/*
+debian/tmp/usr/bin/ginac-config
+debian/tmp/usr/share/aclocal/ginac.m4
+debian/tmp/usr/lib/pkgconfig/ginac.pc
+debian/tmp/usr/share/info/ginac*
+debian/tmp/usr/share/man/man1/ginac-config*