Fixed most bugs with building Debian packages.

[ginac.git] / debian / ginac-dev.files

diff --git a/debian/ginac-dev.files b/debian/ginac-dev.files
new file mode 100644 (file)
index 0000000..898ea2e
--- /dev/null
+++ b/debian/ginac-dev.files
@@ -0,0 +1,6 @@
+usr/lib/libginac.la
+usr/lib/libginac.a
+usr/lib/libginac.so
+usr/include/ginac
+usr/bin/ginac-config
+usr/share/man/man1/ginac-config*