Hope this works now.

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

diff --git a/debian/ginac-dev.postinst b/debian/ginac-dev.postinst
new file mode 100644 (file)
index 0000000..668dbba
--- /dev/null
+++ b/debian/ginac-dev.postinst
@@ -0,0 +1,5 @@
+#!/bin/sh
+set -e
+install-info --section Math Math -- /usr/share/info/ginac.info
+
+#DEBHELPER#