--- 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;;