From a0613af5db3c36dd56ad29a30a8425dfbde3e654 Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 12 Jun 2001 17:09:33 +0000 Subject: [PATCH] [project @ 2001-06-12 17:09:33 by simonmar] good riddance --- ghc/mk/post-install-script | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 ghc/mk/post-install-script diff --git a/ghc/mk/post-install-script b/ghc/mk/post-install-script deleted file mode 100644 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 -- 1.7.10.4