patch from 158719

diff --git a/docs/devGuideDB/devguide.xml b/docs/devGuideDB/devguide.xml
index cf85a664098b4f3c0598ed9c3b4a8ac0515e5227..e79ab53a28fdcdce4dffca28a2c1e8f30f068b20 100644 (file)
--- a/docs/devGuideDB/devguide.xml
+++ b/docs/devGuideDB/devguide.xml
@@ -40,7 +40,7 @@
                                        AspectJ Programming Guide</ulink>,                                      
               the documentation available with the AspectJ support available for
                        various integrated development environments (e.g., 
-              <ulink url="http://eclipse.org/AJDT">Eclipse AJDT</ulink>), 
+              <ulink url="http://eclipse.org/ajdt">Eclipse AJDT</ulink>), 
               and the most-recent documentation available from 
               the AspectJ project page, at
                <ulink url="http://eclipse.org/aspectj">