diff --git a/manual/proxy.html b/manual/proxy.html index a2cd7f8d7..4afeceb11 100644 --- a/manual/proxy.html +++ b/manual/proxy.html @@ -260,8 +260,8 @@ For csh/tcsh:
-autoproxy
ANT_ARGS
<setproxy>