Sigh. Mention that we have to do both a "git push" and a "git push --tags".

[nmh] / man / inc.man

diff --git a/man/inc.man b/man/inc.man
index 8d0a46269c45ff1d1ebb2323bac41df894603efd..8266ae9e452569e26c24b4952fcb492286c34268 100644 (file)
--- a/man/inc.man
+++ b/man/inc.man
@@ -215,7 +215,7 @@ server.  If unspecified the default is \*(lqpop3\*(rq.
 To specify a username for authentication with the POP server, use the
 .B \-user
 .I username
-switch.  The credentials profile entry in the mh_profile(5) man page
+switch.  The credentials profile entry in the mh\-profile(5) man page
 describes the ways to supply a username and password.
 .PP
 If passed the
@@ -270,7 +270,7 @@ switch.
 .SH FILES
 .PD 0
 .TP 20
-$HOME/.mh\-profile
+$HOME/.mh_profile
 The user's profile.
 .TP
 %etcdir%/mts.conf