dune-release
dune-release copied to clipboard
`dune-release` gets confused about a documentation link pointing to `index.html`
With the check command, I was getting:
opam field doc cannot be parsed by dune-release.
The field was this:
doc: "https://lukstafi.github.io/ppx_minidebug/ppx_minidebug/index.html"
With the actual release, I was getting:
cp: cannot create directory 'ppx_minidebug/index.html': No such file or directory
Problem went away when I removed the /index.html suffix in the documentation stanza of dune-project.
Hmm, yes indeed, check probably error out with a better error. That's a bug for sure.
Want to submit a PR to fix it? It should be reasonably easy.