I downloaded the 7.2 english pdf docs from a US mirror
http://www3.us.postgresql.org/users-lounge/docs/#7.2 and noticed they
had a .pdf.gz suffix. Piping to gunzip causes "not in gzip format"
errors. If you drop the .gz, pdf viewer can open them.
Thanks
Dale