Adjust documentation for
78a0dd93db0b (empty username to force specifying it)
--- a/doc/hgrc.5.txt Wed Jan 24 23:04:51 2007 +0100
+++ b/doc/hgrc.5.txt Thu Jan 25 17:57:51 2007 +0100
@@ -439,6 +439,9 @@
The committer of a changeset created when running "commit".
Typically a person's name and email address, e.g. "Fred Widget
<fred@example.com>". Default is $EMAIL or username@hostname.
+ If the username in hgrc is empty, it has to be specified manually or
+ in a different hgrc file (e.g. $HOME/.hgrc, if the admin set "username ="
+ in the system hgrc).
verbose;;
Increase the amount of output printed. True or False. Default is False.