From fa5aa664b5a895119341ce2c013bab80ad1079dc Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Thu, 28 May 2015 14:38:20 +0200 Subject: [PATCH] update build script for new distribution of dokka --- .idea/ant.xml | 2 +- libraries/build-docs.xml | 7 ++++++- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/.idea/ant.xml b/.idea/ant.xml index c497b47b130..7a011c30abc 100644 --- a/.idea/ant.xml +++ b/.idea/ant.xml @@ -16,7 +16,7 @@ - + diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml index e5c787c6667..844fa1a71bd 100644 --- a/libraries/build-docs.xml +++ b/libraries/build-docs.xml @@ -2,7 +2,12 @@ - + + + + + +