Some tweaks to svn.html

[Florian Weimer <fw at deneb dot enyo dot de>]

The following patch drops a SSH reference (not needed for read
access), reflects the fact that it's possible to download the source
with a single command, temporaily removes a reference to Savannah,
fixes a misspelling of the "svn" command as "SVN", and clarifies what
"URL" means in the explanation of the same command.

Okay to install?

By the way, I'm not sure if we should call Subversion "SVN" throughout
this document.  Shouldn't it be "Subversion"?

--- svn.html	29 Oct 2005 00:26:13 +0200	1.3
+++ svn.html	30 Oct 2005 21:11:11 +0100	
@@ -26,7 +26,7 @@
 <p>In addition, you can browse our SVN history online at</p>
 
 <ul>
-<!-- Commented out till savannah gets back to us 
+<!-- Commented out till savannah gets back to us (see below)
   <li><a href="http://savannah.gnu.org/cgi-bin/viewcvs/gcc/";>savannah.gnu.org</a>
   using viewcvs, or</li> -->
   <li><a href="http://gcc.gnu.org/viewcvs/";>gcc.gnu.org</a>
@@ -36,20 +36,16 @@
 
 <h2>Using the SVN repository</h2>
 
-<p><b>In January 2004, these instructions were modified to reflect security
-changes implemented after an attack on the Free Software Foundation's
-site.</b></p>
-
-<p>Assuming you have both <a href="http://subversion.tigris.org/";>SVN</a>
-and SSH installed, you can check out the GCC sources as follows:</p>
-
-<ol type="i">
- <li>The command <code>svn -q checkout svn://gcc.gnu.org/svn/gcc/trunk gcc</code>, 
- will retrieve the compiler sources</li>
-</ol>
+<p>Assuming you have <a href="http://subversion.tigris.org/";>Subversion</a>
+installed, you can check out the GCC sources using the following command:
 
+<blockquote><p>
+<code>svn -q checkout svn://gcc.gnu.org/svn/gcc/trunk gcc</code>
+</p></blockquote>
+
+<!-- Comment out till savannah gets back to us (see above)
 <p>In case of problems with the repository at savannah.gnu.org please
-contact savannah-hackers@gnu.org.</p>
+contact savannah-hackers@gnu.org.</p> -->
 
 
 <h3><a name="generated_files"></a>Generated files</h3>
@@ -106,11 +102,12 @@
 release branch with the following command:</p>
 
 <blockquote><p>
-<code>SVN co svn://gcc.gnu.org/svn/gcc/branches/gcc-<em>x</em>_<em>y</em>-branch gcc</code>
+<code>svn co svn://gcc.gnu.org/svn/gcc/branches/gcc-<em>x</em>_<em>y</em>-branch gcc</code>
 </p></blockquote>
 
-<p>By changing the <code>URL</code> argument above you can check out
-particular releases or snapshots or the latest snapshot.  </p>
+<p>By changing the <code>gcc-<em>x</em>_<em>y</em>-branch</code> part
+of the URL, you can check out particular releases or snapshots or the
+latest snapshot.  </p>
 
 <h3>Release and snapshot branches</h3>