From a19e229a72342ae9cf763fd1d4f42740ecc5e26f Mon Sep 17 00:00:00 2001 From: Simon Ogorodnik Date: Fri, 5 May 2017 20:20:19 +0300 Subject: [PATCH] Minor: prepare for documentation generation --- libraries/build-docs.xml | 55 ++++++++++++++++++++++++++++++---------- 1 file changed, 42 insertions(+), 13 deletions(-) diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml index d170d251601..d40f3aee256 100644 --- a/libraries/build-docs.xml +++ b/libraries/build-docs.xml @@ -2,9 +2,10 @@ - - + + + @@ -22,40 +23,68 @@ - - - - - + + + + + + + + - + + include="stdlib/src/Module.md" noStdlibLink="true"> - + + + + + + - + + + + + + + + - + + - + + ${build.number} + ${build.number} + + +