From ce39a278694b28e0be3b9606421597461d132726 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Thu, 19 Mar 2015 15:28:35 +0100
Subject: [PATCH] build script to generate standard library documentation with
 Dokka

---
 libraries/build-docs.xml | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 libraries/build-docs.xml

diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml
new file mode 100644
index 00000000000..612c5f02ece
--- /dev/null
+++ b/libraries/build-docs.xml
@@ -0,0 +1,22 @@
+<project name="Kotlin standard library" default="document">
+    <!-- Generates the standard library documentation using Dokka. -->
+
+    <typedef resource="dokka-antlib.xml">
+        <classpath>
+            <pathelement path="${dokka.path}/dokka.jar"/>
+        </classpath>
+    </typedef>
+
+    <target name="document">
+        <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">
+            <sourcelink path="." url="http://github.com/JetBrains/kotlin/blob/master#L" linesuffix="#L"/>
+        </dokka>
+    </target>
+
+    <target name="zip" depends="document">
+        <zip destfile="stdlib-docs.zip" basedir="doc/stdlib"/>
+    </target>
+</project>