From df55fa877f507a300673338128551251aff846f7 Mon Sep 17 00:00:00 2001
From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Tue, 8 Mar 2016 23:26:05 +0100
Subject: [PATCH] Fix braces problem in texi file

---
 xboard.texi |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

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
 
-- 
1.7.0.4