From c96d47c5c0c49bd3abf81b1727245f59b2f5ebc7 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Mon, 9 Jan 2017 15:41:23 +0100
Subject: [PATCH] Fix python community plugin build due to duplicate
 icon-robots.txt files

---
 python/build/python_plugin_build.gant | 1 +
 1 file changed, 1 insertion(+)

diff --git a/python/build/python_plugin_build.gant b/python/build/python_plugin_build.gant
index 50a730b950c3..a7fc79529c8e 100644
--- a/python/build/python_plugin_build.gant
+++ b/python/build/python_plugin_build.gant
@@ -127,6 +127,7 @@ target('default': "Build Python Plugin") {
               exclude(name: "**/plugin.xml")
               exclude(name: "**/python-community-configure-ide.xml")
               exclude(name: "**/python-plugin-dependencies.xml")
+              exclude(name: "**/icon-robots.txt")
             }
           }
           dir("META-INF") {