Files
gerrit/gerrit-plugin-gwtui/BUCK
David Ostrovsky bb360ebe06 Buck: generate javadocs for plugin and extension API
buck build api

generates now javadocs.

  buck build api_install

installs all plugin/extension related artifacts with javadocs in the
local Maven repository.

Change-Id: Ifa6a8eb469f388e16449576ff2bff01a5dce67dd
2013-11-24 02:04:51 +01:00

34 lines
657 B
Python

SRC = 'src/main/java/com/google/gerrit/'
SRCS = glob([SRC + '**/*.java'])
DEPS = [
'//lib/gwt:user',
'//lib/gwt:dev',
]
gwt_module(
name = 'gwtui-api',
srcs = SRCS,
gwtxml = SRC + 'Plugin.gwt.xml',
resources = glob(['src/main/resources/**/*']),
deps = DEPS,
visibility = ['PUBLIC'],
)
java_library(
name = 'gwtui-api-src',
srcs = [],
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'],
)