X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xboard.texi;fp=xboard.texi;h=f65b5975f2f5405893533c927d3728afa49f99c1;hb=df55fa877f507a300673338128551251aff846f7;hp=60cc67e43b850bb8ae29a34449395d2b4dc43c21;hpb=718609b99a5f570ce8245f12d05eeed32a444437;p=xboard.git

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