* Debian packaging reorganized to meet policy.

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

diff --git a/debian/ginac-dev.postrm b/debian/ginac-dev.postrm
deleted file mode 100644 (file)
index 665ea19..0000000
--- a/debian/ginac-dev.postrm
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-set -e
-install-info --quiet --remove /usr/share/info/ginac.info
-
-#DEBHELPER#