From 11c0b3039491ae05e663d4dc9f19edab2aa6bb2b Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Fri, 6 May 2016 19:14:36 +0200
Subject: [PATCH] specify github revision number in build parameters

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

diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml
index 091f01e6aa2..1c1ebbc3098 100644
--- a/libraries/build-docs.xml
+++ b/libraries/build-docs.xml
@@ -1,5 +1,7 @@
 <project name="Kotlin standard library" default="document">
     <!-- Generates the standard library documentation using Dokka. -->
+    <property name="github.revision" value="master"/>
+
     <typedef resource="dokka-antlib.xml">
         <classpath>
             <fileset dir="${dokka.path}/lib">
@@ -17,7 +19,7 @@
         <dokka src="stdlib/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/master" linesuffix="#L"/>
+            <sourcelink path=".." url="http://github.com/JetBrains/kotlin/blob/${github.revision}" linesuffix="#L"/>
         </dokka>
     </target>