* Now this four-package split-up is gonna get in. Promised.

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

diff --git a/debian/ginac-tools.postinst b/debian/ginac-tools.postinst
new file mode 100644 (file)
index 0000000..7032e05
--- /dev/null
+++ b/debian/ginac-tools.postinst
@@ -0,0 +1,6 @@
+#!/bin/sh
+set -e
+
+if test -x /usr/bin/update-menus; then update-menus; fi
+
+#DEBHELPER#