simonmar 2002/07/24 02:12:23 PDT Modified files: (Branch: ghc-5-04-branch) libraries Makefile Log: merge rev. 1.12 Revision Changes Path 1.11.2.1 +2 -2 fptools/libraries/Makefile