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

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

diff --git a/debian/libginac-dev.prerm b/debian/libginac-dev.prerm
new file mode 100644 (file)
index 0000000..b5c1dae
--- /dev/null
+++ b/debian/libginac-dev.prerm
@@ -0,0 +1,4 @@
+#!/bin/sh -e
+install-info --quiet --remove /usr/share/info/ginac.info
+
+#DEBHELPER#