From 0ead70783c63ef98e0c7c5efd849bae7c9e3722d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Tue, 30 Jun 2020 12:34:55 +0200
Subject: [PATCH] devkit: Gradle notice

---
 basics/getting_started/creating_plugin_project.md | 2 +-
 basics/getting_started/setting_up_environment.md  | 2 ++
 basics/getting_started/using_dev_kit.md           | 2 +-
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/basics/getting_started/creating_plugin_project.md b/basics/getting_started/creating_plugin_project.md
index 35355b42b..e5b51621a 100644
--- a/basics/getting_started/creating_plugin_project.md
+++ b/basics/getting_started/creating_plugin_project.md
@@ -5,7 +5,7 @@ redirect_from:
 ---
 <!-- Copyright 2000-2020 JetBrains s.r.o. and other contributors. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. -->
 
-> **NOTE** For new projects, it is recommend to use [Gradle](/tutorials/build_system.md).
+> **NOTE** For new projects, it is highly recommended to use [Gradle](/tutorials/build_system.md).
 
 This section explains how you can create a new plugin project from scratch using the New Project wizard.  Optionally, you can import an existing project or import a project from external models. You can also add a new plugin module to an existing *IntelliJ Platform* project.
 For more information, refer to the [IntelliJ IDEA Web Help](https://www.jetbrains.com/idea/help/new-project-wizard.html).
diff --git a/basics/getting_started/setting_up_environment.md b/basics/getting_started/setting_up_environment.md
index c84918d1b..4630ba1ba 100644
--- a/basics/getting_started/setting_up_environment.md
+++ b/basics/getting_started/setting_up_environment.md
@@ -3,6 +3,8 @@ title: Setting Up a Development Environment
 ---
 <!-- Copyright 2000-2020 JetBrains s.r.o. and other contributors. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. -->
 
+> **NOTE** For new projects, it is highly recommended to use [Gradle](/tutorials/build_system.md).
+
 ### Preliminary Steps
 
 Use the following checklist to ensure that you are ready to develop your custom plugins.
diff --git a/basics/getting_started/using_dev_kit.md b/basics/getting_started/using_dev_kit.md
index ffea7c946..c63af389e 100644
--- a/basics/getting_started/using_dev_kit.md
+++ b/basics/getting_started/using_dev_kit.md
@@ -3,7 +3,7 @@ title: Using DevKit
 ---
 <!-- Copyright 2000-2020 JetBrains s.r.o. and other contributors. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. -->
 
-> **NOTE** For new projects, it is recommend to use [Gradle](/tutorials/build_system.md).
+> **NOTE** For new projects, it is highly recommended to use [Gradle](/tutorials/build_system.md).
 
 _Plugin DevKit_ is a bundled IntelliJ IDEA plugin for developing plugins for the IntelliJ Platform using IntelliJ IDEA's
 own build system. It provides its custom SDK type and a set of actions for building plugins within the IDE.