[krbdev.mit.edu #7408] SVN Commit

[Benjamin Kaduk via RT]

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

https://github.com/krb5/krb5/commit/bea34ec59d5b605a854ca87f5e1a8887dd9c8f21
Author: Ben Kaduk <kaduk at mit.edu>
Commit: bea34ec59d5b605a854ca87f5e1a8887dd9c8f21
Branch: master
 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(-)