Remove debian/ directory.

[ginac.git] / debian / ginac-tools.install

diff --git a/debian/ginac-tools.install b/debian/ginac-tools.install
deleted file mode 100644 (file)
index 80f9059..0000000
--- a/debian/ginac-tools.install
+++ /dev/null
@@ -1,5 +0,0 @@
-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