This updates miredot-plugin and configures it for jakarta.
The @summary tags are changed to @title because {@summary ...} is now a javadoc tag with a different purpose to the miredot @summary tag. @title does the same thing.
~I've only got this to work by putting all the jakarta APIs on the runtime classpath, which isn't ideal.~
This updates miredot-plugin and configures it for jakarta.
The
@summarytags are changed to@titlebecause{@summary ...}is now a javadoc tag with a different purpose to the miredot@summarytag.@titledoes the same thing.~I've only got this to work by putting all the jakarta APIs on the runtime classpath, which isn't ideal.~
Fixes #310.