8035473: [javadoc] Revamp the existing Doclet APIs

[Kumar Srinivasan]

HI Magnus,

> In make/gensrc/Gensrc-jdk.javadoc.gmk:
> Did you mean to remove the old javadoc version.properties? If not, and 
> you want two files from now on, you need to give them unique names as 
> the first argument, e.g. OLD_JAVADOC_VERSION and JAVADOC_VERSION, or 
> something like that.
Is this sufficient or were you think of something else ?

hg-dev9-javadoc % hg diff
diff --git a/make/gensrc/Gensrc-jdk.javadoc.gmk 
b/make/gensrc/Gensrc-jdk.javadoc.gmk
--- a/make/gensrc/Gensrc-jdk.javadoc.gmk
+++ b/make/gensrc/Gensrc-jdk.javadoc.gmk
@@ -25,7 +25,7 @@

  include GensrcCommon.gmk

-$(eval $(call SetupVersionProperties,JAVADOC_VERSION,\
+$(eval $(call SetupVersionProperties,OLD_JAVADOC_VERSION,\
      com/sun/tools/javadoc/resources/version.properties))

  $(eval $(call SetupVersionProperties,JAVADOC_VERSION,\

Please let me know.
I will accumulate other changes and spin a final review.

Thanks
Kumar

>
> /Magnus
>
>>
>> Thanks
>> Kumar
>>
>