DOC: fix for postgrespro vs postgresql

Author: Liudmila Mantrova

doc/src/sgml/advanced.sgml

@@ -711,8 +711,8 @@ SELECT name, altitude
    </para>
 
    <para>
-    If you feel you need more introductory material, please visit the &productname;
-    <ulink url="http://www.postgresql.org">web site</ulink>
+    If you feel you need more introductory material, please visit the PostgreSQL
+    <ulink url="https://www.postgresql.org">web site</ulink>
     for links to more resources.
    </para>
   </sect1>

doc/src/sgml/info.sgml

@@ -27,8 +27,8 @@
     <term>Web Site</term>
     <listitem>
      <para>
-      The <productname>&productname;</productname>
-      <ulink url="http://www.postgresql.org">web site</ulink>
+      The Postgres Professional
+      <ulink url="https://www.postgrespro.com">web site</ulink>
       carries details on the latest release and other
       information to make your work or play with
       <productname>&productname;</productname> more productive.
@@ -42,7 +42,7 @@
      <para>
       The mailing lists are a good place to have your questions
       answered, to share experiences with other users, and to contact
-      the developers.  Consult the <productname>&productname;</> web site
+      the developers.  Consult the <productname>PostgreSQL</> web site
       for details.
      </para>
     </listitem>

doc/src/sgml/installation.sgml

@@ -343,18 +343,18 @@ su - postgres
   <para>
    The <productname>&productname;</> &version; sources can be obtained from the
    download section of our
-   website: <ulink url="http://www.postgresql.org/download/"></ulink>.  You
-   should get a file named <filename>postgresql-&version;.tar.gz</filename>
-   or <filename>postgresql-&version;.tar.bz2</filename>. After
+   website: <ulink url="https://postgrespro.com/products/download"></ulink>.  You
+   should get a file named <filename>postgrepro-&version;.tar.gz</filename>
+   or <filename>postgrespro-&version;.tar.bz2</filename>. After
    you have obtained the file, unpack it:
 <screen>
-<userinput>gunzip postgresql-&version;.tar.gz</userinput>
-<userinput>tar xf postgresql-&version;.tar</userinput>
+<userinput>gunzip postgrepro-&version;.tar.gz</userinput>
+<userinput>tar xf postgrepro-&version;.tar</userinput>
 </screen>
    (Use <command>bunzip2</command> instead of <command>gunzip</command> if you
    have the <filename>.bz2</filename> file.)
    This will create a directory
-   <filename>postgresql-&version;</filename> under the current directory
+   <filename>postgrepro-&version;</filename> under the current directory
    with the <productname>&productname;</> sources.
    Change into that directory for the rest
    of the installation procedure.
@@ -2004,20 +2004,6 @@ kill `cat /usr/local/pgsql/data/postmaster.pid`
  <sect1 id="supported-platforms">
   <title>Supported Platforms</title>
 
-  <para>
-   A platform (that is, a CPU architecture and operating system combination)
-   is considered supported by the PostgreSQL development
-   community if the code contains provisions to work on that platform and
-   it has recently been verified to build and pass its regression tests
-   on that platform.  Currently, most testing of platform compatibility
-   is done automatically by test machines in the
-   <ulink url="https://buildfarm.postgresql.org/">PostgreSQL Build Farm</ulink>.
-   If you are interested in using <productname>&productname;</> on a platform
-   that is not represented in the build farm, but on which the code works
-   or can be made to work, you are strongly encouraged to set up a build
-   farm member machine so that continued compatibility can be assured.
-  </para>
-
   <para>
    In general, <productname>&productname;</> can be expected to work on
    these CPU architectures: x86, x86_64, IA64, PowerPC,

doc/src/sgml/sourcerepo.sgml

@@ -11,8 +11,8 @@
  </para>
 
  <para>
-  Our wiki, <ulink
-  url="http://wiki.postgresql.org/wiki/Working_with_Git"></ulink>,
+  PostgreSQL wiki, <ulink
+  url="https://wiki.postgresql.org/wiki/Working_with_Git"></ulink>,
   has some discussion on working with Git.
  </para>
 
@@ -52,7 +52,8 @@
      To begin using the Git repository, make a clone of the official mirror:
 
 <programlisting>
-git clone git://git.postgresql.org/git/postgresql.git
+git clone https://github.com/postgrespro/postgrespro.git
+
 </programlisting>
 
      This will copy the full repository to your local machine, so it may take