Remove expired ports:

2019-11-28 java/jdk9-doc: The corresponding JDK port is EoL 2019-11-28 java/jdk10-doc: The corresponding JDK port is EoL
2019-11-30 22:00:49 +00:00
parent 5da9877e9c
commit c0026c1912
8 changed files with 2 additions and 106 deletions
--- a/java/Makefile
+++ b/java/Makefile
@@ -66,11 +66,9 @@
    SUBDIR += jcommon
    SUBDIR += jd-gui
    SUBDIR += jdbcpool
-    SUBDIR += jdk10-doc
    SUBDIR += jdk11-doc
    SUBDIR += jdk12-doc
    SUBDIR += jdk8-doc
-    SUBDIR += jdk9-doc
    SUBDIR += jdom
    SUBDIR += jflex
    SUBDIR += jfreechart