Doc: fix discussion of how to get real Julian Dates.

Somehow I'd convinced myself that rotating to UTC-12 was the way
to do this, but upon further review, it's definitely UTC+12.

Discussion: https://postgr.es/m/1197050.1619123213@sss.pgh.pa.us

diff --git a/doc/src/sgml/datetime.sgml b/doc/src/sgml/datetime.sgml
index b543f64b6514680c6f9f0d2f4e2d4441cdb07cde..b2f29e62284afb0882a49a5e1f691e860bbeabf8 100644 (file)
--- a/doc/src/sgml/datetime.sgml
+++ b/doc/src/sgml/datetime.sgml
@@ -930,22 +930,22 @@ $ <userinput>cal 9 1752</userinput>
   <para>
    This definition does, however, provide a way to obtain the astronomical
    definition when you need it: do the arithmetic in time
-   zone <literal>UTC-12</literal>.  For example,
+   zone <literal>UTC+12</literal>.  For example,
 <programlisting>
-=&gt; SELECT extract(julian from '2021-06-23 7:00:00-04'::timestamptz at time zone 'UTC-12');
+=&gt; SELECT extract(julian from '2021-06-23 7:00:00-04'::timestamptz at time zone 'UTC+12');
      date_part
 --------------------
- 2459389.9583333335
+ 2459388.9583333335
 (1 row)
-=&gt; SELECT extract(julian from '2021-06-23 8:00:00-04'::timestamptz at time zone 'UTC-12');
+=&gt; SELECT extract(julian from '2021-06-23 8:00:00-04'::timestamptz at time zone 'UTC+12');
  date_part
 -----------
-   2459390
+   2459389
 (1 row)
-=&gt; SELECT extract(julian from date '2021-06-24');
+=&gt; SELECT extract(julian from date '2021-06-23');
  date_part
 -----------
-   2459390
+   2459389
 (1 row)
 </programlisting>
   </para>