Install package from local file

[Marcus Karlsson]

Hi.

I'm trying to install tetex, but when ports try to fetch it the  
download is somehow interrupted and it tries the other download  
locations that also fails the same way. I can however download the  
file from within Safari or any other web browser from the same  
servers that ports tried. Can I let ports use the file I manually  
downloaded instead of trying to download it?

Marcus