diff options
| author | Michele Calgaro <[email protected]> | 2016-09-30 21:31:52 +0900 |
|---|---|---|
| committer | Michele Calgaro <[email protected]> | 2016-09-30 21:33:10 +0900 |
| commit | 78cddf8e8b1ab472b35133f2f2a0207ed245275b (patch) | |
| tree | 6d61ab25e86d9948ca8559eed3acf2676c06b371 /doc/help_en.docbook | |
| parent | e8803aa7ae3f9196e21b21f491e3994fd7c333ba (diff) | |
| download | knights-78cddf8e8b1ab472b35133f2f2a0207ed245275b.tar.gz knights-78cddf8e8b1ab472b35133f2f2a0207ed245275b.zip | |
Added user option to delete chess engine log files (game.### and log.###) from user home folder on exit.
This resolves bug 2665.
Signed-off-by: Michele Calgaro <[email protected]>
(cherry picked from commit febf3bbebfc048a068894f90d3a43d7fc6043aa3)
Diffstat (limited to 'doc/help_en.docbook')
| -rw-r--r-- | doc/help_en.docbook | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/help_en.docbook b/doc/help_en.docbook index 1be9fd8..6bc3be7 100644 --- a/doc/help_en.docbook +++ b/doc/help_en.docbook @@ -352,6 +352,9 @@ <para> <menuchoice><guimenu>Call Flag Automatically</guimenu></menuchoice> This option will automatically declare you the winner of the match if your opponent's clock runs out of time. </para> + <para> + <menuchoice><guimenu>Delete Log Files on Exit</guimenu></menuchoice> If set, chess engine log files will be deleted on exit. Only files named "game.###" and "log.###" placed in the user home folder will be removed + </para> </sect1> <sect1 id="configure-display"> <title>Display</title> |