From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Tue, 8 Mar 2016 22:26:05 +0000 (+0100)
Subject: Fix braces problem in texi file
X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=commitdiff_plain;h=df55fa877f507a300673338128551251aff846f7

Fix braces problem in texi file
---

diff --git a/xboard.texi b/xboard.texi
index 60cc67e..f65b597 100644
--- a/xboard.texi
+++ b/xboard.texi
@@ -1595,7 +1595,7 @@ An example of a text menu as it might occur in your settings file
 (where you could edit it):
 
 @example
--icsMenu {copy;$copy;
+-icsMenu @{copy;$copy;
 list players;who;
 list games;games;
 finger (player);finger $name;
@@ -1610,7 +1610,7 @@ N;$add Knight $input;
 B;$add Bishop $input;
 R;$add Rook $input;
 Q;$add Queen $input;
-}
+@}
 @end example
 @end table