doc/hgrc.5.txt
changeset 6141 90e5c82a3859
parent 5995 b913d3aacddc
child 6142 50a277e6ceae
--- a/doc/hgrc.5.txt	Fri Feb 01 13:09:45 2008 -0800
+++ b/doc/hgrc.5.txt	Mon Feb 18 19:20:22 2008 +0100
@@ -403,17 +403,6 @@
     Optional.  Directory or URL to use when pushing if no destination
     is specified.
 
-profile::
-  Configuration of profiling options, for in-depth performance
-  analysis.  Mostly useful to developers.
-  enable;;
-    Enable a particular profiling mode.  Useful for profiling
-    server-side processes.  "lsprof" enables modern profiling.
-    "hotshot" is deprecated, and produces less reliable results.
-    Default is no profiling.
-  output;;
-    The name of a file to write profiling data to.  Default is stderr.
-  
 server::
   Controls generic server settings.
   uncompressed;;