From 1d86bd56109ffe068c1af9f50764cad77fe16ef6 Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Fri, 24 Feb 2017 13:35:04 +0100 Subject: [PATCH] Build multiplatform stdlib docs --- build.xml | 4 +-- libraries/build-docs.xml | 64 +++++++++++++++++++++++----------------- 2 files changed, 39 insertions(+), 29 deletions(-) diff --git a/build.xml b/build.xml index f30bef91441..0bab79efbac 100644 --- a/build.xml +++ b/build.xml @@ -1035,13 +1035,13 @@ - + - + diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml index 938f1007d0e..78c3d1446c7 100644 --- a/libraries/build-docs.xml +++ b/libraries/build-docs.xml @@ -2,7 +2,8 @@ - + + @@ -16,38 +17,47 @@ - - + + - - - + + - - - - - - - - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + +