Fixed link to Eclipse bugs database (was dev.eclipse.org/bugs now bugs.eclipse.org...

diff --git a/docs/dist/doc/index.html b/docs/dist/doc/index.html
index 5b07efa87d08f9cd3511eef30ad576f7fc319aaf..6d2347da53f326357ae26b2dc7de33692cf84dc8 100644 (file)
--- a/docs/dist/doc/index.html
+++ b/docs/dist/doc/index.html
@@ -39,7 +39,7 @@
     <tr><td><a href="#resources">resources</a></td><td>
        <a href="http://aosd.net">aosd.net</a>;
        <a href="http://eclipse.org/aspectj">AspectJ project</a>
-       the bug <a href="http://dev.eclipse.org/bugs">db</a>,
+       the bug <a href="http://bugs.eclipse.org/bugs">db</a>,
        and mailing lists for 
        <a href="mailto:aspectj-users@eclipse.org">users</a> and
        <a href="mailto:aspectj-dev@eclipse.org">developers</a>.