cvs commit: hugs98 Defs.mk Makefile hugs98/src/unix convert_libraries

[ross@glass.cse.ogi.edu]

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