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

[Ross Paterson]

ross        2006/08/10 10:31:47 PDT

  Modified files:
    libraries            Makefile.in 
    libraries/tools      convert_libraries 
  Added files:
    libraries/tools      make_oldlib 
  Log:
  split off generation of the compatibility libraries into tools/make_oldlib
  
  Revision  Changes    Path
  1.33      +4 -2      hugs98/libraries/Makefile.in
  1.41      +0 -303    hugs98/libraries/tools/convert_libraries