diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html index 3dd2e4a8c8c..9fa8a7793df 100644 --- a/docs/GettingStarted.html +++ b/docs/GettingStarted.html @@ -736,6 +736,7 @@ revision), you can checkout it from the 'tags' directory (instead of subdirectories of the 'tags' directory: