From a19fadf4549a5a5eef1074fe516fdcfcc5fd502b Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Tue, 24 Mar 2015 17:37:35 +0100
Subject: [PATCH] add Module.md to docs build script

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

diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml
index d08c8379e87..e5c787c6667 100644
--- a/libraries/build-docs.xml
+++ b/libraries/build-docs.xml
@@ -10,7 +10,8 @@
         <delete dir="doc/stdlib"/>
         <mkdir dir="doc/stdlib"/>
         <dokka src="stdlib/src:../core/builtins:../core/reflection.jvm"
-            samples="stdlib/test" outputDir="doc" moduleName="stdlib" skipDeprecated="true" outputFormat="kotlin-website">
+            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/master" linesuffix="#L"/>
         </dokka>
     </target>