push

scripts/uninstall

@@ -0,0 +1,12 @@
+#!/bin/sh
+
+test -f "$INSTALL_LOG" || exit 0
+
+sort "$INSTALL_LOG" | uniq | \
+while read file
+do
+	echo "RM $file"
+	rm -f "$file"
+	rmdir -p "`dirname $file`" 2>/dev/null
+done
+rm -f "$INSTALL_LOG"