diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle index c304e28fc3ecff02d0f94e2874fd5bac45e7699c..f639b1a1b4db25683aa7e9837c29e8504b49d8db 100644 --- a/tlatools/org.lamport.tlatools/build.gradle +++ b/tlatools/org.lamport.tlatools/build.gradle @@ -53,6 +53,8 @@ task tlatools(type: Copy, dependsOn: build) { publishing { publications { mavenJava(MavenPublication) { + from components.java + pom { name = "TLA+ Tools" description = "Modified version of the TLA+ tools for usage in ProB"