remove generated tex files
* admin.texinfo: added sections about encryption types and salts,
updated the configuration file sections, revised the example
configuration files, updated dates on output strings, added an
explanation of destroying a Kerberos database
* build.texinfo: changed the description of the tarball
* definitions.texinfo: added variables for all the default values
so that they can all be updated in one place, changed the release
from 1.2 to 1.3
* dnstxt.texinfo updated the information
* install.texinfo added more description of the configuration files
and the minimum needed in the files to set up a kerberos realm,
revised the examples of the configuration file sections, took out
old encryption type and salt information
* kdcconf.texinfo: new file, taken from the admin guide and included
in both the admin and install guides, provides descriptions of the
sections in kdc.conf
* krb425.texinfo: moved a texinfo tag so that makeinfo --html would
work
* krb5conf.texinfo: new file, take from the admin guide and included
in both the admin and install guides, provides descriptions of the
sections in krb5.conf
* man2html, man2html.M: new files, a perl program to create html pages
from the output of the man command
* salts.texinfo: new file, a description of the different salt types
that are currently supported
* support-enc.texinfo: new file, a description of the currently
supported encryptions types
* user-guide.texinfo: added a section describing different ticket
flags, added a way to have the man pages in the reference section
accessible in the html version of the documentation
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@14587 dc483132-0cff-0310-8789-dd5450dbe970