equal
deleted
inserted
replaced
1632 JLINK_PLUGIN2COREAPI := ../$(JDKJRE2COREAPI) |
1632 JLINK_PLUGIN2COREAPI := ../$(JDKJRE2COREAPI) |
1633 JLINK_PLUGIN_DOCTITLE := JLink Plugin API - EXPERIMENTAL |
1633 JLINK_PLUGIN_DOCTITLE := JLink Plugin API - EXPERIMENTAL |
1634 JLINK_PLUGIN_WINDOWTITLE := JLink Plugin API - EXPERIMENTAL |
1634 JLINK_PLUGIN_WINDOWTITLE := JLink Plugin API - EXPERIMENTAL |
1635 JLINK_PLUGIN_HEADER := <strong>JLink Plugin API - EXPERIMENTAL</strong> |
1635 JLINK_PLUGIN_HEADER := <strong>JLink Plugin API - EXPERIMENTAL</strong> |
1636 JLINK_PLUGIN_BOTTOM := $(call CommonBottom,$(JLINK_PLUGIN_FIRST_COPYRIGHT_YEAR)) |
1636 JLINK_PLUGIN_BOTTOM := $(call CommonBottom,$(JLINK_PLUGIN_FIRST_COPYRIGHT_YEAR)) |
1637 JLINK_PLUGIN_PKGS = jdk.tools.jlink \ |
1637 JLINK_PLUGIN_PKGS = jdk.tools.jlink.plugin |
1638 jdk.tools.jlink.builder \ |
|
1639 jdk.tools.jlink.plugin |
|
1640 |
1638 |
1641 JLINK_PLUGIN_INDEX_HTML = $(JLINK_PLUGIN_DOCDIR)/index.html |
1639 JLINK_PLUGIN_INDEX_HTML = $(JLINK_PLUGIN_DOCDIR)/index.html |
1642 JLINK_PLUGIN_OPTIONS_FILE = $(DOCSTMPDIR)/jlinkplugins.options |
1640 JLINK_PLUGIN_OPTIONS_FILE = $(DOCSTMPDIR)/jlinkplugins.options |
1643 JLINK_PLUGIN_PACKAGES_FILE = $(DOCSTMPDIR)/jlinkplugins.packages |
1641 JLINK_PLUGIN_PACKAGES_FILE = $(DOCSTMPDIR)/jlinkplugins.packages |
1644 |
1642 |