Fix the API build

In 28694a09c9 a conflict in the merge
from stable-2.8 was not resolved properly and the API build was broken.

Add back the missing part to fix the build.

Change-Id: I2b0295212631ffad0ba4b57c77b5935b8200d384
This commit is contained in:
David Pursehouse 2013-12-06 18:45:47 +09:00
parent 5c111c013e
commit 93dbaa2782

View File

@ -20,3 +20,13 @@ java_library(
resources = glob(['src/main/**/*']),
visibility = ['PUBLIC'],
)
java_doc(
name = 'gwtui-api-javadoc',
title = 'Gerrit Review GWT Extension API Documentation',
pkg = 'com.google.gerrit.plugin',
paths = ['$SRCDIR/src/main/java'],
srcs = SRCS,
deps = DEPS,
visibility = ['PUBLIC'],
)