From 10c29288b59cf56747f2361f16db1e9f6fe76d44 Mon Sep 17 00:00:00 2001
From: Thomas Schoebel-Theuer <tst@1und1.de>
Date: Fri, 31 Jan 2020 08:15:44 +0100
Subject: [PATCH] doc: describe new err-purge-all

---
 docu/mars-user-manual.lyx | 122 +++++++++++++++++++++++++++++++++++++-
 1 file changed, 121 insertions(+), 1 deletion(-)

diff --git a/docu/mars-user-manual.lyx b/docu/mars-user-manual.lyx
index 6bed1f18..3ac5e4f9 100644
--- a/docu/mars-user-manual.lyx
+++ b/docu/mars-user-manual.lyx
@@ -13483,7 +13483,7 @@ all
 
 \size scriptsize
 \begin_inset Tabular
-<lyxtabular version="3" rows="42" columns="3">
+<lyxtabular version="3" rows="43" columns="3">
 <features islongtable="true" longtabularalignment="left">
 <column alignment="left" valignment="top" width="0pt">
 <column alignment="center" valignment="top">
@@ -18823,6 +18823,126 @@ Hint: use
 \end_inset
 
 
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\family typewriter
+\size scriptsize
+\begin_inset Box Frameless
+position "t"
+hor_pos "c"
+has_inner_box 1
+inner_pos "t"
+use_parbox 0
+use_makebox 0
+width "20col%"
+special "none"
+height "1in"
+height_special "totalheight"
+thickness "0.4pt"
+separation "3pt"
+shadowsize "4pt"
+framecolor "black"
+backgroundcolor "none"
+status open
+
+\begin_layout Plain Layout
+
+\family typewriter
+\size scriptsize
+err-purge-all
+\begin_inset Newline newline
+\end_inset
+
+
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+strut
+\backslash
+hfill
+\end_layout
+
+\end_inset
+
+$res
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\size scriptsize
+no
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\size scriptsize
+\begin_inset Box Frameless
+position "t"
+hor_pos "c"
+has_inner_box 1
+inner_pos "t"
+use_parbox 0
+use_makebox 0
+width "60col%"
+special "none"
+height "1in"
+height_special "totalheight"
+thickness "0.4pt"
+separation "3pt"
+shadowsize "4pt"
+framecolor "black"
+backgroundcolor "none"
+status open
+
+\begin_layout Plain Layout
+
+\size scriptsize
+Precondition: none additionally.
+\end_layout
+
+\begin_layout Plain Layout
+
+\size scriptsize
+Postcondition: errors reported by 
+\family typewriter
+marsadm view $res --verbose
+\family default
+ are deleted after a while.
+ However notice that some error reports may soon re-appear in case the error
+ condition is persisting.
+\end_layout
+
+\end_inset
+
+
 \end_layout
 
 \end_inset