diff options
author | Luca Milanesio <luca.milanesio@gmail.com> | 2020-10-23 00:52:21 +0100 |
---|---|---|
committer | Luca Milanesio <luca.milanesio@gmail.com> | 2020-10-23 22:17:50 +0000 |
commit | 54ce3d384d3553af286d63120f1b98bfdb838f65 (patch) | |
tree | 98f780502652601367c191c94a90566a6d88ec21 | |
parent | 586d6e330825fbaa03c61eeca356d75d2fdc8c93 (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 d9281c88f2..366cf82bce 100644 --- a/gerrit-plugin-gwtui/BUILD +++ b/gerrit-plugin-gwtui/BUILD @@ -78,10 +78,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", ) |