Fix link to Internals Manual for master branch.

This fixes a broken link since the manual was wikified.
We will need to do the same for the "current branch" and then
"release" pages once we cut the 7.7 branch and release 7.7 (resp).
But for now, the currently published info should be good.

ChangeLog:

        * documentation/index.html: Fix link to Internals Manual.

diff --git a/documentation/index.html b/documentation/index.html
index cabbfe3ab55a46aa602c534d76c4e19ec31ffb08..026763c2c2a443987778b56a7d9bc3c0032fb3de 100644 (file)
--- a/documentation/index.html
+++ b/documentation/index.html
@@ -83,10 +83,8 @@ Sivachenko.
 </dd>
 
 <dt><a
-href="http://sourceware.org/gdb/current/onlinedocs/gdbint/"><b>GDB
-Internals Manual</b></a> (<a
-href="http://sourceware.org/gdb/current/onlinedocs/gdbint.pdf.gz">gziped</a>
-PDF)</dt>
+href="https://sourceware.org/gdb/wiki/InternalsManual"><b>GDB
+Internals Manual</b></a> (wiki only)</dt>
 
 <dd>Technical details of the internals of GDB.</dd>
 
@@ -233,7 +231,7 @@ Floor, Boston, MA 02110-1301 USA.</p>
 <p>Verbatim copying and distribution of this entire article is
 permitted in any medium, provided this notice is preserved.</p>
 
-<p>Last modified 2013-08-29.</p>
+<p>Last modified 2013-11-26.</p>
 </address>
 
 </body>