Imported Debian patch 110.74-1

[hcoop/zz_old/debian/smlnj.git] / debian / smlnj-runtime.postrm

diff --git a/debian/smlnj-runtime.postrm b/debian/smlnj-runtime.postrm
new file mode 100644 (file)
index 0000000..61d4fa9
--- /dev/null
+++ b/debian/smlnj-runtime.postrm
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+set -e
+
+if [ "$1" = "purge" ] ; then
+    rm -f /usr/lib/smlnj/lib/pathconfig
+fi
+
+#DEBHELPER#