diff --git a/build.gradle b/build.gradle index 6d3a739d7d8a2ab94df659f12eb25d364cd3fe28..8e55bb5c1159de8fc898f095b56d0a19dc0db828 100644 --- a/build.gradle +++ b/build.gradle @@ -85,7 +85,11 @@ task createJar(type: Jar, dependsOn: build){ task tla2b(dependsOn: createJar) << { - + copy { + from('build/libs/') + into('.') + include('TLA2B.jar') + } } if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {