minor doc patch

Not sure what version you have there, but it is fine here.

--- INSTALL.orig	Mon Jun  5 13:15:50 2000
+++ INSTALL	Wed Oct 25 12:29:52 2000
@@ -330,7 +330,7 @@
simply type

cd /usr/local/pgsql/doc

-     > gunzip -c user.ps.tz | lpr
+     > gunzip -c user.ps.gz | lpr

Here is how you might do it if you have Ghostscript on your system and

--
Mike Castle Life is like a clock: You can work constantly
dalgoda@ix.netcom.com and be right all the time, or not work at all
www.netcom.com/~dalgoda/ and be right at least twice a day. -- mrc
We are all of us living in the shadow of Manhattan. -- Watchmen

-- 
  Bruce Momjian                        |  http://candle.pha.pa.us
  pgman@candle.pha.pa.us               |  (610) 853-3000
  +  If your life is a hard drive,     |  830 Blythe Avenue
  +  Christ can be your backup.        |  Drexel Hill, Pennsylvania 19026