27fbb2b835
This is needed for defining external documentation link for javadoc rule. Change-Id: I562de840327c6b27941f7238023a47eb8d0b2394
17 lines
396 B
Python
17 lines
396 B
Python
include_defs('//lib/maven.defs')
|
|
include_defs('//lib/JGIT_VERSION')
|
|
|
|
maven_jar(
|
|
name = 'jgit-servlet',
|
|
id = 'org.eclipse.jgit:org.eclipse.jgit.http.server:' + JGIT_VERS,
|
|
sha1 = '6e36638888918d9941dddec7e2abe1f162cc74d9',
|
|
license = 'jgit',
|
|
repository = REPO,
|
|
deps = ['//lib/jgit/org.eclipse.jgit:jgit'],
|
|
unsign = True,
|
|
exclude = [
|
|
'about.html',
|
|
'plugin.properties',
|
|
],
|
|
)
|