[master] Correct the default value of print-time in ARM

diff --git a/doc/arm/Bv9ARM-book.xml b/doc/arm/Bv9ARM-book.xml
index edea08e66604f1c33fc63baa3f7d68fda8e326f0..eca9320332d59937b950383eebc2a069ec0bc29b 100644 (file)
--- a/doc/arm/Bv9ARM-book.xml
+++ b/doc/arm/Bv9ARM-book.xml
@@ -3857,7 +3857,7 @@ notrace</command>. All debugging messages in the server have a debug
            logged in ISO8601 format.  If set to
            <userinput>iso8601-utc</userinput>, then the date and time
            are logged in ISO8601 format, with time zone set to
-           UTC. The default is <userinput>local</userinput>.
+           UTC. The default is <userinput>no</userinput>.
          </para>
          <para>
            <command>print-time</command> may