From ce39a278694b28e0be3b9606421597461d132726 Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Thu, 19 Mar 2015 15:28:35 +0100 Subject: [PATCH 1/2] 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 @@ + + + + + + + + + + + + + + + + + + + + + From 17fddbac18c99f84c26a304498ebd7b74c520ee4 Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Thu, 19 Mar 2015 15:43:06 +0100 Subject: [PATCH 2/2] change target path --- libraries/build-docs.xml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml index 612c5f02ece..f9ccbf2e3bf 100644 --- a/libraries/build-docs.xml +++ b/libraries/build-docs.xml @@ -1,6 +1,5 @@ - @@ -17,6 +16,6 @@ - +