[krbdev.mit.edu #7408] SVN Commit

[Benjamin Kaduk via RT]

Remove unused texinfo sources

Now that the users guide make rules are removed, some of the texinfo
sources are not referenced from anywhere and can be safely removed.

https://github.com/krb5/krb5/commit/612d64fa15ec1efe1bdd0001b62ff1eabab64da5
Author: Ben Kaduk <kaduk at mit.edu>
Commit: 612d64fa15ec1efe1bdd0001b62ff1eabab64da5
Branch: master
 doc/glossary.texinfo   |   64 --
 doc/user-guide.texinfo | 1711 ------------------------------------------------
 2 files changed, 0 insertions(+), 1775 deletions(-)