diff --git a/doc/src/sgml/sourcerepo.sgml b/doc/src/sgml/sourcerepo.sgml
index 9c815a8291..d4a593e5f4 100644
--- 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, ,
- 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 >.