Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Install .cmt[i] files. #6691
Original bug ID: 6691
It would be nice to install .cmt[i] files for the stdlib and compiler-libs by default (they seem to be generated anyway). It would help the various tools to browse the documentation.