[project @ 2001-06-12 17:09:33 by simonmar]

good riddance

diff --git a/ghc/mk/post-install-script b/ghc/mk/post-install-script
deleted file mode 100644 (file)
index 3b5e08d..0000000
--- a/ghc/mk/post-install-script
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-
-# $1 is $(platform)
-# $2 is $(libdir)
-
-# This script is run just after installing a binary distribution, to
-# generate a correct package.conf for the new installation.
-
-bin/$1/pkgconf install "$1" "" "NO" "readline" "$2" "" "" "" "" "" > $2/package.conf