On Mon, 24 Jan 2022 18:58:07 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> I'll take a look. > > I think it helps to keep them separate ... and the text is adjacent. > > "Other Doclets" is somewhat more about why you might not want to write a > doclet these days ... it's addressing the historical past where there were > lots of doclets, a lot of which did not even look at doc comments ... i.e > they were using the Doclet API as an early Language Model API. Fine with me. Your explanation makes sense, another bit of history learned. ------------- PR: https://git.openjdk.java.net/jdk/pull/6914
