kawa switching to using subversion

[Per Bothner]

David O'Callaghan wrote:
> I live behind a HTTP proxy and I found that this command didn't work. If 
> I set the http-proxy-host and http-proxy-port settings in 
> ~/.subversion/servers and use the following command then it works:
> 
>       svn -q checkout http://sourceware.org/svn/kawa/trunk kawa

Thanks for the suggestion - I updated the manual and web-page
to incorporate it.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/