From: Sergey Matveev <stargrave@stargrave.org>
Date: Wed, 20 Nov 2024 11:15:19 +0000 (+0300)
Subject: TAI64 is actually called external
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=c9e14f9bc3404c73db6feb873f1e055ba30b670e35f34e8f573ba5cf9409085d;p=keks.git

TAI64 is actually called external
---

diff --git a/spec/encoding/tai64.texi b/spec/encoding/tai64.texi
index 0a56ea0..7566c98 100644
--- a/spec/encoding/tai64.texi
+++ b/spec/encoding/tai64.texi
@@ -4,10 +4,11 @@
 @cindex TAI64NA
 @section TAI64
 
-Datetime is represented in @url{http://cr.yp.to/libtai/tai64.html, TAI64}
-format. TAI stands for Temps Atomique International, the current
-international real time standard. Unlike UTC, it takes leap seconds into
-account, making it monotonous.
+Datetime is represented in, so called, external
+@url{http://cr.yp.to/libtai/tai64.html, TAI64}
+format. @url{http://cr.yp.to/proto/utctai.html, TAI} stands for Temps Atomique
+International, the current international real time standard. Unlike UTC, it
+takes leap seconds into account, making it monotonous.
 
 You can convert TAI to UTC by subtracting number of leap seconds.