Looking for proxies usage with wget 1.2.10, in the man page,
we can found:

      --no-proxy
          Don't use proxies, even if the appropriate *_proxy
environment variable is defined.

          For more information about the use of proxies with Wget,


And the last sentence stops without a correct termination.
(in HTML version a link follows).

Reply via email to