diff options
| -rw-r--r-- | WebContent/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/WebContent/index.html b/WebContent/index.html index 685a831dfc..64b633e7aa 100644 --- a/WebContent/index.html +++ b/WebContent/index.html @@ -227,7 +227,7 @@ <h5>Documentation</h5> <ul> <li><a href="release-notes.html">Release Notes</a></li> - <li><a href="doc/manual/manual.html">Manual</a> (<a href="doc/manual.pdf">view as PDF</a>)</li> + <li><a href="doc/manual/index.html">Manual</a> (<a href="doc/manual.pdf">view as PDF</a>)</li> <li><a href="doc/api/index.html">JavaDoc API</a></li> </ul> </div> |