2 Commits

Include renames

Author	SHA1	Message	Date
Lai JiangandGitHub	a02b67caf5	Migrate the documentation package to Java 11 (#729) ... * Migrate the documentation package to Java 11 The old Doclet API is deprected and removed in Java 12. This commit changes the documentation package to use the new recommended API. However it is not a drop-in replacement and there are non-idiomatic usages all over the place. I think it is eaiser to keep the current code logic and kind of shoehorn in the new API than starting afresh as the return on investment of a do-over is not great. Also note that the docs package is disabled as of this commit because we are still using Java 8 to compile which lacks the new API. Once we switch our toolchains to Java 11 (but still compiling Java 8 bytecode) we can re-enable this package. TESTED=ran `./gradlew :docs:test` locally with the documentation package enabled.	2020-07-30 17:12:33 -04:00
Lai JiangandGitHub	d180ef43ac	Move the documentation package to its own subproject (#722) ... This makes it easier to later migrate the package to Java 11. If we move and migrate in a single PR, because of the portion of the contents that s changed, git will have trouble recognizing that some files are renamed *and* modified and treat them as distinct files, making code review difficult.	2020-07-29 13:41:02 -04:00