[project @ 2000-02-28 11:53:44 by simonmar]

oops, back out local patch that accidentally got committed with rev. 1.139.

diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index e3720e3..0075940 100644 (file)
--- a/ghc/driver/ghc.lprl
+++ b/ghc/driver/ghc.lprl
@@ -2608,7 +2608,7 @@ sub add_syslib {
        [  # where to slurp interface files from
          ( $INSTALLING 
               ? "$InstLibDirGhc/imports/text"
-              : "$TopPwd/hslibs/text:$TopPwd/hslibs/text/html:$TopPwd/hslibs/text/haxml"
+              : "$TopPwd/hslibs/text:$TopPwd/hslibs/text/html"
          )
        , # where to find the archive to use when linking
          ( $INSTALLING