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

[Ross Paterson]

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