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 @@ + + + + + + + + + + + + + + + + + + + + +