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

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