From 000c3946f207023f113643199427e5cbfccadd1c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Thu, 18 Aug 2022 10:34:39 +0200 Subject: [PATCH] migrate TOC settings to in-page declaration, take #2 --- ijs.tree | 4 ++-- .../gradle_intellij_plugin/tools_gradle_intellij_plugin.md | 2 ++ topics/appendix/tools/tools_gradle_grammar_kit_plugin.md | 2 ++ 3 files changed, 6 insertions(+), 2 deletions(-) diff --git a/ijs.tree b/ijs.tree index a55e502c1..f3d2906b7 100644 --- a/ijs.tree +++ b/ijs.tree @@ -384,12 +384,12 @@ - + - + diff --git a/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md b/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md index 65e66464f..d7c81135a 100644 --- a/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md +++ b/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md @@ -1,5 +1,7 @@ [//]: # (title: Gradle IntelliJ Plugin) + + The Gradle IntelliJ Plugin is a plugin for the Gradle build system to help configuring your environment for building, testing, verifying, and publishing plugins for IntelliJ-based IDEs. diff --git a/topics/appendix/tools/tools_gradle_grammar_kit_plugin.md b/topics/appendix/tools/tools_gradle_grammar_kit_plugin.md index 7920196cb..4594b87e9 100644 --- a/topics/appendix/tools/tools_gradle_grammar_kit_plugin.md +++ b/topics/appendix/tools/tools_gradle_grammar_kit_plugin.md @@ -1,5 +1,7 @@ [//]: # (title: Gradle Grammar-Kit Plugin) + + The [Gradle Grammar-Kit Plugin](https://github.com/JetBrains/gradle-grammar-kit-plugin) automates generating lexers and parsers to support building [custom language](custom_language_support.md) plugins for IntelliJ-based IDEs when using [Grammar-Kit](https://github.com/JetBrains/Grammar-Kit).