Skip to content
Snippets Groups Projects
Commit ed5e67a3 authored by dgelessus's avatar dgelessus
Browse files

Add missing line to publishing configuration

parent 635c9c4b
No related branches found
No related tags found
No related merge requests found
Pipeline #144779 passed
Stage: deploy
Show whitespace changes
Inline Side-by-side
tlatools/org.lamport.tlatools/build.gradle
+ 2
− 0
View file @ ed5e67a3
...@@ -53,6 +53,8 @@ task tlatools(type: Copy, dependsOn: build) { ...@@ -53,6 +53,8 @@ task tlatools(type: Copy, dependsOn: build) {
publishing { publishing {
publications { publications {
mavenJava(MavenPublication) { mavenJava(MavenPublication) {
from components.java
pom { pom {
name = "TLA+ Tools" name = "TLA+ Tools"
description = "Modified version of the TLA+ tools for usage in ProB" description = "Modified version of the TLA+ tools for usage in ProB"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment