cvs commit: hugs98/libraries Makefile.in hugs98/libraries/tools convert_libraries

5 Aug 2006


      ross        2006/08/05 08:09:33 PDT

  Modified files:
    libraries            Makefile.in 
    libraries/tools      convert_libraries 
  Log:
  pass $(prefix) to Cabal
  (fixes #34: report and fix from Julio M. Merino Vidal)
  
  Revision  Changes    Path
  1.29      +3 -3      hugs98/libraries/Makefile.in
  1.39      +1 -0      hugs98/libraries/tools/convert_libraries

Ross Paterson

tags

participants (1)