Replace javadoc.io with javadocs.dev

This commit is contained in:
Alexander Brandes 2023-10-05 20:48:49 +02:00
parent 0d2b36bac8
commit 40c70aa98d
No known key found for this signature in database
GPG Key ID: 158F5701A6AAD00C
1 changed files with 1 additions and 1 deletions

View File

@ -72,7 +72,7 @@ tasks {
opt.links("https://jd.advntr.dev/text-minimessage/4.14.0/")
opt.links("https://google.github.io/guice/api-docs/" + libs.guice.get().versionConstraint.toString() + "/javadoc/")
opt.links("https://checkerframework.org/api/")
opt.links("https://javadoc.io/doc/com.intellectualsites.informative-annotations/informative-annotations/latest/")
opt.links("https://javadocs.dev/com.intellectualsites.informative-annotations/informative-annotations/1.4/")
opt.isLinkSource = true
opt.bottom(File("$rootDir/javadocfooter.html").readText())
opt.isUse = true