New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

install cmt{,i} files #24

Closed

c-cube opened this issue Dec 23, 2017 · 1 comment

Contributor

c-cube commented Dec 23, 2017

Right now it seems that they are not installed, which prevents merlin from accessing the documentation of functions

xavierleroy closed this as completed in

7b6eb90

Contributor

xavierleroy commented Jan 2, 2018

See commit 7b6eb90. Only the .cmti files are installed, because the documentation is in the .mli sources, not in the .ml sources.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment