Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Copy element-list to package-list #8193

Merged
merged 1 commit into from Jan 9, 2019
Merged

Conversation

blindpirate
Copy link
Collaborator

Context

This fixes #8183 as a workaround of https://bugs.openjdk.java.net/browse/JDK-8211194

Since JDK 11, javadoc's package-list file is superseded by element-list file, but a lot of external tools still need it.
This PR makes a workaround by manually copying element-list file to package-list file.

@blindpirate blindpirate added this to the 5.1.1 milestone Jan 9, 2019
@blindpirate blindpirate self-assigned this Jan 9, 2019
@blindpirate blindpirate changed the title Rename element-list to package-list Copy element-list to package-list Jan 9, 2019
This fixes #8183 as a workaround of https://bugs.openjdk.java.net/browse/JDK-8211194

Since JDK 11, javadoc's package-list file is superseded by element-list file, but a lot of external tools still need it.
This PR makes a workaround by manually copying element-list file to package-list file.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants