From f3bc89aef79a84a7d4050d597564305aab3db09d Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 21 Jun 2021 19:12:47 +0200
Subject: [PATCH] Nice presentation of plugins in updatePlugins.xml

---
 build.gradle | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/build.gradle b/build.gradle
index d211e362..38e9673b 100644
--- a/build.gradle
+++ b/build.gradle
@@ -119,12 +119,16 @@ task generateUpdatePluginsXml {
          plugins {
            plugin( id: "jetbrains.mps.coderules" ,
                    url: baseUrl + "/$System.env.BUILD_NUMBER" + zip1 ,
-                   version: "${version}" )
-           { }
+                   version: "${version}" ) {
+             name { "MPS Coderules Typechecking" }
+             description { "Typechecking with Coderules (experimental)" }
+           }
            plugin( id: "jetbrains.mps.core.types" ,
                    url: baseUrl + "/$System.env.BUILD_NUMBER" + zip2 ,
-                   version: "${version}" )
-           { }
+                   version: "${version}" ) { 
+             name { "MPS Core Types" }
+             description { "Types for core MPS languages (experimental)" }
+           }
        }
     }
   }