diff --git a/tools/centipede/targets/docs.xtarget b/tools/centipede/targets/docs.xtarget index 10a670d410..4c36482d5d 100644 --- a/tools/centipede/targets/docs.xtarget +++ b/tools/centipede/targets/docs.xtarget @@ -57,9 +57,8 @@ - @@ -87,6 +86,15 @@ + + + + + + +