Update ports list.

doc/src/sgml/installation.sgml

-<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.103 2002/11/02 01:29:37 momjian Exp $ -->
+<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.104 2002/11/04 22:40:43 momjian Exp $ -->
 
 <chapter id="installation">
  <title><![%standalone-include[<productname>PostgreSQL</>]]>
@@ -1510,6 +1510,14 @@ gunzip -c user.ps.gz \
 	 Bruce Momjian (<email>pgman@candle.pha.pa.us</email>)</entry>
         <entry>4.2</entry>
        </row>
+       <row>
+	<entry><systemitem class="osname">Digital Unix</></entry>
+	<entry><systemitem>Alpha</></entry>
+	<entry>7.3</entry>
+	<entry>2002-11-04,
+	 Alessio Bragadini (<email>alessio@albourne.com</email>)</entry>
+        <entry></entry>
+       </row>
        <row>
 	<entry><systemitem class="osname">FreeBSD</></entry>
 	<entry><systemitem>Alpha</></entry>