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.