diff --git a/build-docs b/build-docs index ad5e62630e..8fede223df 160000 --- a/build-docs +++ b/build-docs @@ -1 +1 @@ -Subproject commit ad5e62630e999fa03cc8289bba2351f7fd758703 +Subproject commit 8fede223df9aa781c5dece2bddf5cfaef40b7f69