From 78b4cbdb69d72a5399f377e0cdfbdaf1d61ef6ad Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Tue, 28 Feb 2017 11:56:55 +0100
Subject: [PATCH] Don't generate documentation for option that doesn't work in
 Gradle

---
 .../kotlin/generators/arguments/GenerateGradleOptions.kt        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generators/src/org/jetbrains/kotlin/generators/arguments/GenerateGradleOptions.kt b/generators/src/org/jetbrains/kotlin/generators/arguments/GenerateGradleOptions.kt
index d3ecbd99ba5..438256e0360 100644
--- a/generators/src/org/jetbrains/kotlin/generators/arguments/GenerateGradleOptions.kt
+++ b/generators/src/org/jetbrains/kotlin/generators/arguments/GenerateGradleOptions.kt
@@ -25,7 +25,6 @@ import java.io.PrintStream
 import kotlin.reflect.KAnnotatedElement
 import kotlin.reflect.KProperty1
 import kotlin.reflect.declaredMemberProperties
-import kotlin.reflect.memberProperties
 
 // Additional properties that should be included in interface
 @Suppress("unused")
@@ -223,6 +222,7 @@ private fun generateMarkdown(properties: List<KProperty1<*, *>>) {
     println("|------|-------------|-----------------|--------------|")
     for (property in properties) {
         val name = property.name
+        if (name == "includeRuntime") continue   // This option has no effect in Gradle builds
         val description = property.findAnnotation<Argument>()!!.description
         val possibleValues = property.gradleValues.possibleValues
         val defaultValue = when (property.gradleDefaultValue) {