From 641d102101087a3453398800febce2f65f104203 Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Fri, 14 Feb 2020 16:12:37 +0100
Subject: msg: slightly improve --msg-time output

Cut the arbitrary offset, and document what unit/timesource it uses.
---
 DOCS/man/options.rst | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'DOCS')

diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst
index bb92751efb..0572b66816 100644
--- a/DOCS/man/options.rst
+++ b/DOCS/man/options.rst
@@ -4233,7 +4233,10 @@ Terminal
     Prepend module name to each console message.
 
 ``--msg-time``
-    Prepend timing information to each console message.
+    Prepend timing information to each console message. The time is in
+    microseconds since the player process was started (technically, slightly
+    later actually), using a monotonic time source depending on the OS. This
+    is ``CLOCK_MONOTONIC`` on sane UNIX variants.
 
 Cache
 -----
-- 
cgit v1.2.3