diff options
| -rw-r--r-- | lang/pgcc/INSTALL | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/lang/pgcc/INSTALL b/lang/pgcc/INSTALL deleted file mode 100644 index b17dfc6eefe..00000000000 --- a/lang/pgcc/INSTALL +++ /dev/null @@ -1,37 +0,0 @@ -#!/bin/sh -# -# Prior versions of the "gcc" package would install a corrupted -# info entry for "chill", which would foil subsequent installations. -# This script attempts to clean up that entry. - -if [ $# -ne 2 -o ! -d "${PKG_PREFIX}" -o ! -w "${PKG_PREFIX}/info/dir" ] -# Script was called improperly. -then - exit 1 -fi - -if [ "$2" != "PRE-INSTALL" ] -# No problem -then - exit 0 -fi - -if [ ! -x /bin/ed ] -# Who knows? Give up. -then - exit 0 -fi - -echo Fixing up infodir from previous installation\.\.\. -/bin/ed "${PKG_PREFIX}/info/dir" 2> /dev/null << END -/^* Chill/d -w -q -END -if [ $? -eq 0 ] -then - \.\.\.fixed\. - exit 0 -fi -echo \.\.\.nothing to fix\. -exit 0 |