doc/hgrc.5.txt
changeset 6445 a1db3d8b9b8a
parent 6325 41c77bb8d7f3
child 6446 ee5313bc3c0c
--- a/doc/hgrc.5.txt	Tue Apr 01 16:36:25 2008 +0200
+++ b/doc/hgrc.5.txt	Tue Apr 01 14:35:11 2008 +0200
@@ -281,6 +281,7 @@
     myHtmlTool.priority = 1
 
   Supported arguments:
+
   priority;;
     The priority in which to evaluate this tool.
     Default: 0.
@@ -313,7 +314,7 @@
   fixeol;;
     Attempt to fix up EOL changes caused by the merge tool.
     Default: False
-  gui:;
+  gui;;
     This tool requires a graphical interface to run. Default: False
   regkey;;
     Windows registry key which describes install location of this tool.
@@ -563,6 +564,7 @@
         fail to merge
 
     See the merge-tools section for more information on configuring tools.
+
   patch;;
     command to use to apply patches. Look for 'gpatch' or 'patch' in PATH if
     unset.