slachiewicz opened a new pull request, #1424: URL: https://github.com/apache/maven-javadoc-plugin/pull/1424
The site linked 14 times to the Java 7 javadoc pages. Each link now points to the matching JDK 25 page: the javadoc man page option anchors, the javac section on argument files (the format javadoc shares), the Documentation Comment Specification for overview, package and doc-files content, and the `jdk.javadoc` `Taglet` interface. The links note also names `element-list`, which current JDKs write instead of `package-list`. Part of apache/maven-site#1766. Verified: every new URL answers 200 and every anchor exists on its page. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
