diff -r bf4f2c1b26cc -r e9e341bc7d42 Admin/website/index.html
--- a/Admin/website/index.html	Tue Sep 27 14:41:41 2005 +0200
+++ b/Admin/website/index.html	Tue Sep 27 15:30:37 2005 +0200
@@ -56,7 +56,7 @@
 	      <li>Major internal reorganizations and performance improvements.</li>
 	      </ul>
 
-<p><a href="//dist/packages/Isabelle/NEWS">[Cumulative NEWS]</a></p>
+<p><a href="//dist/Isabelle/NEWS">[Cumulative NEWS]</a></p>
 
 <h2>Download</h2>