[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.

https://github.com/krb5/krb5/commit/c38197ee9808503f86ccffd4a2bd94389e17df0b
Author: Robbie Harwood <rharwood at redhat.com>
Committer: Greg Hudson <ghudson at mit.edu>
Commit: c38197ee9808503f86ccffd4a2bd94389e17df0b
Branch: master
 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(-)