diff options
| -rw-r--r-- | docs/GettingStarted.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html index 95a2646..d062f25 100644 --- a/docs/GettingStarted.html +++ b/docs/GettingStarted.html @@ -703,7 +703,8 @@ test directories, and local copies of documentation files.</p> <p>If you want to get a specific release (as opposed to the most recent revision), you can checkout it from the '<tt>tags</tt>' directory (instead of -'<tt>trunk</tt>'). The following releases have the following labels:</p> +'<tt>trunk</tt>'). The following releases are located in the following + subdirectories of the '<tt>tags</tt>' directory:</p> <ul> <li>Release 2.0: <b>RELEASE_20</b></li> |