From d55b2cd00da3b83b5174410a624acff1f6842aea Mon Sep 17 00:00:00 2001
From: Ilya Gorbunov <ilya.gorbunov@jetbrains.com>
Date: Wed, 13 Jul 2016 19:50:31 +0300
Subject: [PATCH] Docs: include JRE7/8-specific sources into the documentation.

---
 libraries/build-docs.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml
index 1c1ebbc3098..92f744667e1 100644
--- a/libraries/build-docs.xml
+++ b/libraries/build-docs.xml
@@ -16,7 +16,7 @@
     <target name="document">
         <delete dir="doc/stdlib"/>
         <mkdir dir="doc/stdlib"/>
-        <dokka src="stdlib/src:../core/builtins:../core/reflection.jvm:../core/runtime.jvm/src/kotlin/jvm/annotations:../core/runtime.jvm/src/kotlin/jvm/JvmClassMapping.kt"
+        <dokka src="stdlib/src:stdlib/jre7/src:stdlib/jre8/src:../core/builtins:../core/reflection.jvm:../core/runtime.jvm/src/kotlin/jvm/annotations:../core/runtime.jvm/src/kotlin/jvm/JvmClassMapping.kt"
             samples="stdlib/test" outputDir="doc" moduleName="stdlib" skipDeprecated="true" outputFormat="kotlin-website"
             include="stdlib/src/Module.md">
             <sourcelink path=".." url="http://github.com/JetBrains/kotlin/blob/${github.revision}" linesuffix="#L"/>