[MLton-user] mlton script typo

[Matthew Fluet]

On Fri, 12 Oct 2007, Matthew Fluet wrote:
>>  It seemed to need to be unpacked in a
>>  different place (/usr vs /).
>
> A patch shortly after the mlton-20051202 release changed the paths for the 
> Cygwin package.
>  http://mlton.org/cgi-bin/viewsvn.cgi?rev=4288&view=rev
> This was in response to some installation problems raised by a user of the 
> mlton-20051202 release.
>   http://mlton.org/pipermail/mlton-user/2005-December/000739.html
>
> In any event, it seems that most default Cygwin installations mount 
> C:\cygwin\bin on /usr/bin, C:\cygwin\lib on /usr/lib, and C:\cygwin on /,
> so you should be able to unpack the archive at / (and you will see the 
> binaries and libraries in /usr/{bin,lib}).

Hmm, except that the package also includes man/man1/{mlton,...}.1 files 
and there is no C:\cygwin\man mounted on /usr/man.
So, indeed, it seems that there will be discrepencies if the package is 
unpacked at / or at /usr/.