Merge pull request #1934 from MaxWorgan/0.13

Fixes #1834, `<developers>` section is not rendered correctly in the pom.xml
This commit is contained in:
eugene yokota 2015-03-23 12:06:26 -07:00
commit b0473c5204
1 changed files with 9 additions and 7 deletions

View File

@ -109,13 +109,15 @@ class MakePom(val log: Logger) {
{
if (moduleInfo.developers.nonEmpty) {
<developers>
moduleInfo.developers.map{ developer: Developer =>
<developer>
<id>{ developer.id }</id>
<name>{ developer.name }</name>
<email>{ developer.email }</email>
<url>{ developer.url }</url>
</developer>
{
moduleInfo.developers.map { developer: Developer =>
<developer>
<id>{ developer.id }</id>
<name>{ developer.name }</name>
<email>{ developer.email }</email>
<url>{ developer.url }</url>
</developer>
}
}
</developers>
} else NodeSeq.Empty