From 9bfe124b644e153f7902f8cf163a2ecb96119182 Mon Sep 17 00:00:00 2001
From: Thomas Schoebel-Theuer <tst@1und1.de>
Date: Thu, 4 Apr 2019 13:18:03 +0200
Subject: [PATCH] doc: descrribe new WriteBack amount feature

---
 docu/mars-manual.lyx | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/docu/mars-manual.lyx b/docu/mars-manual.lyx
index 19171549..d1a35efe 100644
--- a/docu/mars-manual.lyx
+++ b/docu/mars-manual.lyx
@@ -23445,11 +23445,19 @@ natural races
 \labelwidthstring 00.00.0000
 
 \family typewriter
-WriteBack
+WriteBack[
+\emph on
+amount
+\emph default
+]
 \family default
  (cf 
 \family typewriter
 %is-primary{}
+\family default
+ and amount via 
+\family typewriter
+%writeback-rest{}
 \family default
 ) Appears only at actual primaries (whether designated or not), when the
  writeback from the RAM buffer is active (see section 
@@ -23459,7 +23467,13 @@ reference "sec:The-Transaction-Logger"
 
 \end_inset
 
-)
+).
+ The 
+\emph on
+amount
+\emph default
+ is displayed in human readable form, and may be used for a very rough estimatio
+n of recovery time after a primary crash.
 \end_layout
 
 \begin_layout Labeling