Likewise, we should handle (that is, ignore) -doctitle and -windowtitle - as far as I can tell they can't be disabled either, and serve no purpose for us.
Technically -notimestamp can at least be disabled in Gradle, via Javadoc.options.noTimestamp(false), but it also seems nicer to support it and ignore it as long as we already have to deal with these.
See https://github.com/gradle/gradle/issues/24595 - apparently this is undocumented, and required. Going by https://github.com/gradle/gradle/issues/11898, this is by design, doclets must conform to Gradle.
Likewise, we should handle (that is, ignore)
-doctitle
and-windowtitle
- as far as I can tell they can't be disabled either, and serve no purpose for us.Technically
-notimestamp
can at least be disabled in Gradle, viaJavadoc.options.noTimestamp(false)
, but it also seems nicer to support it and ignore it as long as we already have to deal with these.