hg: jdk9/dev: 8178038: Copy jdwp-protocol.html to proper location; ...

[magnus.ihse.bursie at oracle.com]

Changeset: e7f726bdc75d
Author:    ihse
Date:      2017-04-23 21:10 +0200
URL:       http://hg.openjdk.java.net/jdk9/dev/rev/e7f726bdc75d

8178038: Copy jdwp-protocol.html to proper location
8178039: Copy jvmti.html to proper location
8178316: Add JVM-MANAGEMENT-MIB.mib to jdk/src/java.management/share/specs/
Reviewed-by: erikj, mchung

! make/Javadoc.gmk
! make/Main.gmk
! make/common/Modules.gmk