Dotty's Scaladoc (via docJar) isn't valid for javadoc.io

[Iltotore]

Mill version: 0.9.8

Mill generates the html scaladoc pages inside a subdirectory (api) but javadoc.io, the service used by Scaladex, requires an index.html to be at the root of the scaladoc jar.

A solution could be to add an index.html redirecting to api/index.html.

[lefou]

Do you have a template for such an index.html which works for e.g. javadoc.io?