From 54ce3d384d3553af286d63120f1b98bfdb838f65 Mon Sep 17 00:00:00 2001 From: Luca Milanesio Date: Fri, 23 Oct 2020 00:52:21 +0100 Subject: 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 --- gerrit-plugin-gwtui/BUILD | 4 ---- 1 file changed, 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", ) -- cgit v1.2.3