diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html index 5b632fb24fd..e2ee70abc9e 100644 --- a/docs/GettingStarted.html +++ b/docs/GettingStarted.html @@ -691,8 +691,8 @@ follows: