diff --git a/docu/mars-manual.lyx b/docu/mars-manual.lyx index 6abfc54c..e0e88a8f 100644 --- a/docu/mars-manual.lyx +++ b/docu/mars-manual.lyx @@ -15940,7 +15940,7 @@ status open \size scriptsize Equivalent to \family typewriter -pause-sync-local +resume-sync-local \family default . \end_layout