Fix two typos in option names in texi file
authorH.G. Muller <h.g.muller@hccnet.nl>
Sun, 20 Feb 2011 19:36:28 +0000 (20:36 +0100)
committerArun Persaud <apersaud@lbl.gov>
Sun, 20 Feb 2011 20:51:25 +0000 (12:51 -0800)
commit22e284d167c290edb8723a8f7411178e330ab472
treea88d48417b10ab4e5f5830318a694a8348d2e2ce
parent4d4d6305b409a21e22162ca25175aa6d60dc8916
Fix two typos in option names in texi file

Polyglot was capitalyzed
xboard.texi