patch applied (hugs98): place extra header files in base/include instead of trying to mirror the GHC structure

24 Jul 2007


      Tue Jul 24 04:42:39 PDT 2007  Ross Paterson 
  * place extra header files in base/include instead of trying to mirror the GHC structure

    M ./libraries/Makefile.in -8 +9
    M ./libraries/tools/make_bootlib -4 +3