diff options
author | Luca Milanesio <luca.milanesio@gmail.com> | 2020-10-23 00:52:21 +0100 |
---|---|---|
committer | Luca Milanesio <luca.milanesio@gmail.com> | 2020-11-12 20:02:28 +0000 |
commit | 269ad8a2031106a3d7448eac0e4588be573c3731 (patch) | |
tree | ec00210fd22234e42ae4e73e7e5842d49af3cc49 | |
parent | a9313bf170644a2b2fb698787ce64c9230f26445 (diff) |
Remove generation for c.g.gwtexpui.* JavaDoc
The JavaDoc for com.google.gwtexpui.* cannot be generated
because the source files are not accessible anymore.
Failing to generate the JavaDocs caused the Gerrit build to
fail with 'No source files for package com.google.gwtexpui...'.
Change-Id: Ie36e650962636813d8f9f615e495a980b7280420
-rw-r--r-- | gerrit-plugin-gwtui/BUILD | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gerrit-plugin-gwtui/BUILD b/gerrit-plugin-gwtui/BUILD index 86f24bbc8f..1f75912f90 100644 --- a/gerrit-plugin-gwtui/BUILD +++ b/gerrit-plugin-gwtui/BUILD @@ -74,10 +74,6 @@ java_doc( ], pkgs = [ "com.google.gerrit.plugin", - "com.google.gwtexpui.clippy", - "com.google.gwtexpui.globalkey", - "com.google.gwtexpui.safehtml", - "com.google.gwtexpui.user", ], title = "Gerrit Review GWT Extension API Documentation", ) |