[krbdev.mit.edu #8755] git commit

[Greg Hudson via RT]

Bring back general kerberos man page

Restore the content of kerberos(1) as it stood in
0f81e372a2830c9170f6e08dfa956841d0ebdfb1.  Convert to ReST to match
the other man pages, and install it as the more appropriate
kerberos(7).

Build kerberos(7) and check it in to avoid breaking the build.

(cherry picked from commit c38197ee9808503f86ccffd4a2bd94389e17df0b)

https://github.com/krb5/krb5/commit/d22930a04f5ac38fc9475725d700f4b412d1126d
Author: Robbie Harwood <rharwood at redhat.com>
Committer: Greg Hudson <ghudson at mit.edu>
Commit: d22930a04f5ac38fc9475725d700f4b412d1126d
Branch: krb5-1.16
 doc/conf.py                       |    1 +
 doc/user/user_config/index.rst    |    1 +
 doc/user/user_config/kerberos.rst |  148 ++++++++++++++++++++++++++++++
 src/Makefile.in                   |    4 +-
 src/config/pre.in                 |    2 +
 src/man/Makefile.in               |   14 +++-
 src/man/kerberos.man              |  180 +++++++++++++++++++++++++++++++++++++
 7 files changed, 345 insertions(+), 5 deletions(-)