Closed gpetiot closed 1 year ago
I don't think we should delete the license file from the vendored parser
It's weird that it doesn't fail, given there is a line to copy LICENSE.md
and the script is set -e
.
The update script is now copying the license file from odoc (longer than the previous one)
Follow-up on #430
Re-using code from https://github.com/realworldocaml/mdx/compare/main...jonludlam:mdx:vendor-odoc-parser-richmdx