diff doc/hgrc.5.txt @ 5995:b913d3aacddc

profiling: allow CGI and FastCGI to be profiled

--- a/doc/hgrc.5.txt	Fri Feb 01 10:31:15 2008 +0100
+++ b/doc/hgrc.5.txt	Fri Feb 01 13:09:45 2008 -0800
@@ -403,6 +403,17 @@
     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;;