updated manuals to latest xboard.texi version

[xboard.git] / manual / html_node / Crafty.html

diff --git a/manual/html_node/Crafty.html b/manual/html_node/Crafty.html
index cc2ccbc..a890056 100644 (file)
--- a/manual/html_node/Crafty.html
+++ b/manual/html_node/Crafty.html
@@ -34,24 +34,22 @@ Up:&nbsp;<a rel="up" accesskey="u" href="Other-programs.html#Other-programs">Oth
 
 <h3 class="section">11.4 Crafty</h3>
 
-<p>\r
-Crafty is a chess engine written by Bob Hyatt.\r
-You can use XBoard to play a game against Crafty, hook Crafty up\r
-to an ICS, or use Crafty to interactively analyze games and positions\r
-for you.\r
-\r
-Crafty is a strong, rapidly evolving chess program. This rapid\r
-pace of development is good, because it means Crafty is always\r
-getting better.  This can sometimes cause problems with\r
-backwards compatibility, but usually the latest version of Crafty\r
-will work well with the latest version of XBoard.\r
-Crafty can be obtained from its author's FTP site:\r
-ftp://ftp.cis.uab.edu/hyatt/.\r
-\r
-To use Crafty with XBoard, give the -fcp and -fd options as follows, where\r
-&lt;crafty's directory&gt; is the directory in which you installed Crafty\r
-and placed its book and other support files.\r
-\r
+<p>Crafty is a chess engine written by Bob Hyatt. 
+You can use XBoard to play a game against Crafty, hook Crafty up
+to an ICS, or use Crafty to interactively analyze games and positions
+for you.
+
+   <p>Crafty is a strong, rapidly evolving chess program. This rapid
+pace of development is good, because it means Crafty is always
+getting better.  This can sometimes cause problems with
+backwards compatibility, but usually the latest version of Crafty
+will work well with the latest version of XBoard. 
+Crafty can be obtained from its author's FTP site:
+ftp://ftp.cis.uab.edu/hyatt/.
+
+   <p>To use Crafty with XBoard, give the -fcp and -fd options as follows, where
+&lt;crafty's directory&gt; is the directory in which you installed Crafty
+and placed its book and other support files.
 
    </body></html>