> What is the file src/doc/mlton.spec doing? I guess you could view it as > some kind of documentation, but I think this is just a bug. mlton.spec is part of the source. I just didn't know where to put it. I am happy to take suggestions as to where, but be warned that I am likely to shoot down any suggestion that involves creating a new directory with just mlton.spec.