broken RPM

Stephen Weeks sweeks@intertrust.com
Fri, 25 Aug 2000 16:20:44 -0700 (PDT)


> The RPM is broken.  The /usr/local/bin/mlton has root set to .../sweeks/...
> instead of /usr/local/lib/mlton.

Sorry, a one character change to src/Makefile should fix it.  
The sed line in the install target should be
		sed "/^root=/s;'.*';'$(TLIB)';" <mlton >$(TBIN)/mlton &&	\
not
		sed "/^root=/s;'.*';'$(LIB)';" <mlton >$(TBIN)/mlton &&		\

I will remake.