minor doc patch for example in 'SET' docs

SET TIME ZONE "PST8PDT";
(Should) be:
SET TIME ZONE 'PST8PDT';

Thanks, got it! I made a few other adjustments to descriptions in this
area of the docs while I was at it.

Bruce, please do not apply this as a patch since I have included it in
some patches I'm developing...

- Thomas

Patch applied. Thanks.

---------------------------------------------------------------------------

Christopher Kings-Lynne wrote:

This fixes:

SET TIME ZONE "PST8PDT";
SELECT CURRENT_TIMESTAMP AS today;

To be:

SET TIME ZONE 'PST8PDT';
SELECT CURRENT_TIMESTAMP AS today;

[ Attachment, skipping... ]

---------------------------(end of broadcast)---------------------------
TIP 5: Have you checked our extensive FAQ?

http://www.postgresql.org/users-lounge/docs/faq.html

-- 
  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

Thomas Lockhart wrote:

SET TIME ZONE "PST8PDT";
(Should) be:
SET TIME ZONE 'PST8PDT';

Thanks, got it! I made a few other adjustments to descriptions in this
area of the docs while I was at it.

Bruce, please do not apply this as a patch since I have included it in
some patches I'm developing...

Roger. Got it. Batch backed out.

-- 
  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

"Christopher Kings-Lynne" <chriskl@familyhealth.com.au> writes:

This fixes:
SET TIME ZONE "PST8PDT";
To be:
SET TIME ZONE 'PST8PDT';

Good catch. Thanks.

regards, tom lane