ross 2002/09/10 10:18:19 PDT Modified files: . Defs.mk Makefile src/unix convert_libraries Log: Avoid converting a happy file if the output is already present, so that people can use the source package without having happy installed. Makefile: run happy after downloading. Also reduced the download. Revision Changes Path 1.3 +3 -1 hugs98/Defs.mk 1.18 +3 -1 hugs98/Makefile 1.25 +18 -10 hugs98/src/unix/convert_libraries