diff options
-rw-r--r-- | docs/ReleaseNotes.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 0897106290..fcf19e0ba0 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -12,8 +12,8 @@ <ol> <li><a href="#intro">Introduction</a></li> <li><a href="#whatsnew">What's New?</a></li> + <li><a href="GettingStartedGuide.html">Installation Instructions</a></li> <li><a href="#portability">Portability and Supported Platforms</a></li> - <li><a href="#install-instructions">Installation Instructions</a></li> <li><a href="#knownproblems">Known Problems</a> <ul> <li><a href="#experimental">Experimental features included in this |