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