TAI64 is actually called external

diff --git a/spec/encoding/tai64.texi b/spec/encoding/tai64.texi
index 0a56ea06968975d194b1143a790e5acabcce33b67b6c74ff21e8bc09d656da18..7566c98044b89a263236c8178de934fef717b389806868d4a1dbc0f03f805238 100644 (file)
--- 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.