krb5 commit: Remove the last vestiges of the texinfo docs

[Benjamin Kaduk]

https://github.com/krb5/krb5/commit/bea34ec59d5b605a854ca87f5e1a8887dd9c8f21
commit bea34ec59d5b605a854ca87f5e1a8887dd9c8f21
Author: Ben Kaduk <kaduk at mit.edu>
Date:   Mon Oct 15 13:38:05 2012 -0400

    Remove the last vestiges of the texinfo docs
    
    We needed these last stragglers to build the NOTICE file at the
    root of the tree, but we now generate a notice.txt from reST.
    
    Man pages have been generated from reST for some time now, we no
    longer need scripts to turn them into HTML and ps, as those can
    be generated directly from the reST source.
    
    The Makefile only existed to serve the texinfo builds, so it goes
    away, too.  (The tgz target appears to have been broken since 1996.)
    
    ticket: 7408

 doc/Makefile            |   56 -
 doc/copyright.texinfo   | 1282 ---------
 doc/definitions.texinfo |  192 --
 doc/install-old.texi    | 2239 ---------------
 doc/man2html            |  608 ----
 doc/man2html.M          |  761 -----
 doc/man2ps              |   60 -
 doc/man2ps.M            |   50 -
 doc/notice.texinfo      |    9 -
 doc/texinfo-suppl.tex   |    7 -
 doc/texinfo.tex         | 7226 -----------------------------------------------
 11 files changed, 0 insertions(+), 12490 deletions(-)

Diff larger than 5000 lines; suppressing.