Broken link in ia64 ports page

[Sajid Sadi <sajid@media.mit.edu>]

Hi. The ia64 ports page (http://www.debian.org/ports/ia64/) contains an 
broken link to the "HP Enablement Kit for Linux".  The current page is 
located at:
http://h20000.www2.hp.com/bizsupport/TechSupport/SoftwareDescription.jsp?locBasepartNum=ux-22935-1&lang=English

The ISO can be downloaded from that page for free without having to 
register.

Thanks.


Sajid Sadi