. Add a port for the JDK7 documentation.

"Java Development Kit 7 Documentation. Contains release information, API documentation, guides to new features and tool documentation."
2012-12-30 20:07:54 +00:00
parent 2c41e17121
commit 0fb99f3a42
4 changed files with 50 additions and 0 deletions
--- a/java/Makefile
+++ b/java/Makefile
@@ -96,6 +96,7 @@
    SUBDIR += jcommon
    SUBDIR += jdbcpool
    SUBDIR += jdk16-doc
+    SUBDIR += jdk7-doc
    SUBDIR += jdom
    SUBDIR += jflex
    SUBDIR += jfreechart