[fptex] Obtaining fptex via proxy server

Agnar Renolen agnarr@stud.ntnu.no
Fri, 01 Jun 2001 09:40:04 +0200


Hello,

I tried to obtain fptex from my office computer, but to no avail.  I
guess it's a proxy server problem.

If so: How can I edit the getfptex.bat file tp make wget.exe obtain the
source via the proxyserver (of which I know the address to)?

Thanks in advance
Agnar Renolen
NORWAY