On Tue, 15 Dec 2020 19:19:28 GMT, Alan Bateman <al...@openjdk.org> wrote:
>> In `Docs.gmk` there are some hard-coded links to online URL documentation >> and bug reporting locations. These should not reside in the make file per >> se, but instead move to the `make/conf` directory. > > This looks okay me to but I can't help thinking that javadoc.conf should also > be the place to list the root modules for javadoc (PR 1781 puts them in oddly > named module-sets-docs.conf). Maybe, but if anything I think they should rather merge with the upcoming `conf/branding.conf` (see JDK-8258426). I think that once we got all configuration collected in one place, it's easier to see how and if we can unify them. At this stage, I'd like to concentrate on just splitting out the configuration part from the makefiles. ------------- PR: https://git.openjdk.java.net/jdk/pull/1785
