From 0f828a51071b24efd570d0b689eb5ab489106a48 Mon Sep 17 00:00:00 2001 From: Ilya Gorbunov Date: Thu, 8 Feb 2018 18:57:41 +0300 Subject: [PATCH] Update paths of the moved sources for building the documentation --- libraries/build-docs.xml | 19 ++++++++----------- 1 file changed, 8 insertions(+), 11 deletions(-) diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml index 62181e7492e..8355d9504ba 100644 --- a/libraries/build-docs.xml +++ b/libraries/build-docs.xml @@ -59,22 +59,18 @@ - - - - - + + + + + - - - - - - + + @@ -82,6 +78,7 @@ +