diff options
| author | seb <seb@pkgsrc.org> | 2003-08-07 15:33:28 +0000 |
|---|---|---|
| committer | seb <seb@pkgsrc.org> | 2003-08-07 15:33:28 +0000 |
| commit | 53d1ccd7a3a648efe1429130a12632a32999caa3 (patch) | |
| tree | b331f32d466a0cd6e51f5b587eb33a4ce1b8815d /lang/pgcc | |
| parent | 5bfecbf632f0967857e66ca41f91ad4c299d6963 (diff) | |
| download | pkgsrc-53d1ccd7a3a648efe1429130a12632a32999caa3.tar.gz | |
The INSTALL script was overlooked during the conversion to
USE_NEW_TEXINFO. But...
It is not really useful now, so remove it.
Diffstat (limited to 'lang/pgcc')
| -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 |