diff --git a/libraries/build-docs.xml b/libraries/build-docs.xml new file mode 100644 index 00000000000..f9ccbf2e3bf --- /dev/null +++ b/libraries/build-docs.xml @@ -0,0 +1,21 @@ + + + + + + + + + + + + + + + + + + + +