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.

Sign up for GitHub

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

Jump to bottom

Copy element-list to package-list #8193

Merged
merged 1 commit into from Jan 9, 2019
Merged

Copy element-list to package-list #8193

merged 1 commit into from Jan 9, 2019

Commits on Jan 9, 2019

  1. Rename element-list to package-list 

    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 committed Jan 9, 2019
    Configuration menu
    Copy the full SHA
    c21007a View commit details
    Browse the repository at this point in the history