Update ports list.

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index f0358cc..fdb957f 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1,4 +1,4 @@
-<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.109 2002/11/05 17:31:36 momjian Exp $ -->
+<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.110 2002/11/05 19:01:07 momjian Exp $ -->
 
 <chapter id="installation">
  <title><![%standalone-include[<productname>PostgreSQL</>]]>
@@ -1735,7 +1735,7 @@ gunzip -c user.ps.gz \
        <entry>7.3</entry>
        <entry>2002-11-01,
         7.1.3 Larry Rosenman (<email>ler@lerctr.org</email>),
-        7.2 Olivier Prenant (<email>ohp@pyrenet.fr</email>)
+        7.1.1 and 7.1.2(8.0.0) Olivier Prenant (<email>ohp@pyrenet.fr</email>)
        <entry>see also <filename>doc/FAQ_SCO</filename></entry>
        </row>
        <row>