Do some copy-editing on the Git usage docs.

diff --git a/doc/src/sgml/sourcerepo.sgml b/doc/src/sgml/sourcerepo.sgml
index 9c815a82915812bdefc5154d557f799a12d89043..d4a593e5f4a4a2fe079f90b394cfb9ba85a56556 100644 (file)
--- a/doc/src/sgml/sourcerepo.sgml
+++ b/doc/src/sgml/sourcerepo.sgml
@@ -4,24 +4,25 @@
  The Source Code Repository
 
  
-  The PostgreSQL source code is stored and managed using the
-  Git version control system. An public mirror of this
-  is available and updated within a minute of the master repository.
+  The PostgreSQL source code is stored and managed
+  using the Git version control system. A public
+  mirror of the master repository is available; it is updated within a minute
+  of any change to the master repository.
  
 
  
   Our wiki, 
   url="http://wiki.postgresql.org/wiki/Working_with_Git">,
-  has additional details on working with Git.
+  has some discussion on working with Git.
  
 
   
    Note that building PostgreSQL from the source
-   repository requires reasonably up-to-date versions of bison
-   and flex. These tools are not needed to build from a
-   distribution tarball since their output is included in the file.
-   You will need Perl as well, but otherwise the tool requirements are the
-   same.
+   repository requires reasonably up-to-date versions of bison,
+   flex, and Perl. These tools are not needed
+   to build from a distribution tarball since the files they are used to build
+   are included in the tarball.  Other tool requirements are the same as shown
+   in .
   
 
  
@@ -29,7 +30,7 @@
 
   
    With Git you will make a copy of the entire code repository
-   to your local machine, so you will have access to all history and branches
+   on your local machine, so you will have access to all history and branches
    offline. This is the fastest and most flexible way to develop or test
    patches.
   
@@ -39,16 +40,16 @@
 
    
     
-     You will need an installed version of Git, which you can get
-     from . Many systems also have a recent
-     version of Git installed by default, or available in their
-     package repository system.
+     You will need an installed version of Git, which you can
+     get from . Many systems already
+     have a recent version of Git installed by default, or
+     available in their package distribution system.
     
    
 
    
     
-     To being using the Git repository, make a clone of the official mirror:
+     To begin using the Git repository, make a clone of the official mirror:
 
 
 git clone git://git.postgresql.org/git/postgresql.git
@@ -56,12 +57,14 @@ git clone git://git.postgresql.org/git/postgresql.git
 
      This will copy the full repository to your local machine, so it may take
      a while to complete, especially if you have a slow Internet connection.
+     The files will be placed in a new subdirectory postgresql of
+     your current directory.
     
 
     
-     The Git mirror can also be reached via the HTTP protocol in case for example
-     a firewall is blocking access to the Git protocol. Just replace the URL
-     like:
+     The Git mirror can also be reached via the HTTP protocol, if for example
+     a firewall is blocking access to the Git protocol. Just change the URL
+     prefix to http, as in:
 
 
 git clone http://git.postgresql.org/git/postgresql.git
@@ -83,10 +86,11 @@ git fetch
     
    
   
+
   
    Git can do a lot more things than just fetch the source. For
-   more information, consult the man pages for the product, or the website at
-   .
+   more information, consult the Git man pages, or see the
+   website at .