cvs commit: hugs98/libraries Makefile.in hugs98/libraries/tools convert_libraries hugs-package.in

[Ross Paterson]

ross        2004/11/29 16:50:01 PST

  Modified files:
    libraries            Makefile.in 
    libraries/tools      convert_libraries hugs-package.in 
  Log:
  simplify hugs-package a bit
  
  Revision  Changes    Path
  1.7       +1 -14     hugs98/libraries/Makefile.in
  1.9       +5 -9      hugs98/libraries/tools/convert_libraries
  1.11      +59 -65    hugs98/libraries/tools/hugs-package.in