Mitra <[EMAIL PROTECTED]> writes: > The wget man page reports > > --proxy=on/off > Turn proxy support on or off. The proxy is on by > default if the appropriate environmental variable is > defined. > > Which is of course incomplete as it doesn't say WHAT the appropriate > environmental variable is!
Thanks for the report. Note that the real Wget documentation is in Info format. The Info manual names the proxy environment variables in the "Proxies" node.