* gnupg.7: New mini man page.

* README: Removed the note about a development version so that we
later don't forget this.  Minor other changes.

doc/gnupg.7

@@ -4,15 +4,10 @@ GnuPG \- The GNU Privacy Guard suite of programs
 .SH DESCRIPTION
 GnuPG is a set of programs for public key encryption and digital
 signatures.  The program most users want to use is 
-the OpenPGP command line tool, named
-.IR gpg ".  " 
-.I gpgv
-is a stripped down version of 
-.I gpg
-to verify signatures against a trusted keyring.
-There is also a tool called
-.I gpgsplit
-to split OpenPGP messages or keyrings into their packets.
+the OpenPGP command line tool, named \fBgpg\fP. \fBgpgv\fP
+is a stripped down version of \fBgpg\fP to verify signatures
+against a trusted keyring.  There is also a tool called
+\fBgpgsplit\fP to split OpenPGP messages or keyrings into their packets.
 .SH "SEE ALSO"
 .BR gpg (1),
 .BR gpgv (1),