* Just for the record: this is what has been used for building.

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

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