The changes are directly within the *.mli files.
I removed the generated *.html to our git repo, @rosalogia should I get rid of them and only add something like
I would strongly advice against adding the *.html files to the repo since they will change often and just add noise. You can setup publishing of docs to github pages instead.
The changes are directly within the
*.mli
files. I removed the generated*.html
to our git repo, @rosalogia should I get rid of them and only add something likein our Readme.md?