Updated Debian configuration [A.Sheplyakov].

diff --git a/debian/ginac-tools.install b/debian/ginac-tools.install
new file mode 100644 (file)
index 0000000..80f9059
--- /dev/null
+++ b/debian/ginac-tools.install
@@ -0,0 +1,5 @@
+debian/tmp/usr/bin/ginsh
+debian/tmp/usr/bin/viewgar
+debian/tmp/usr/share/man/man1/ginsh*
+debian/tmp/usr/share/man/man1/viewgar*
+debian/ginac.xpm usr/share/pixmaps

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*

diff --git a/debian/libginac1.4.install b/debian/libginac1.4.install
new file mode 100644 (file)
index 0000000..67e54d9
--- /dev/null
+++ b/debian/libginac1.4.install
@@ -0,0 +1 @@
+debian/tmp/usr/lib/libginac*.so.*