diff options
| author | Ben Kaduk <kaduk@mit.edu> | 2012-10-15 13:38:05 -0400 |
|---|---|---|
| committer | Ben Kaduk <kaduk@mit.edu> | 2012-10-15 18:53:29 -0400 |
| commit | bea34ec59d5b605a854ca87f5e1a8887dd9c8f21 (patch) | |
| tree | 6ffc689e967449d2ac1c84399537a1edf521250a /doc/basic | |
| parent | e9dc672b8b3af28fa8ea71e866a7c376b4c443d7 (diff) | |
| download | krb5-bea34ec59d5b605a854ca87f5e1a8887dd9c8f21.tar.gz krb5-bea34ec59d5b605a854ca87f5e1a8887dd9c8f21.tar.xz krb5-bea34ec59d5b605a854ca87f5e1a8887dd9c8f21.zip | |
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
Diffstat (limited to 'doc/basic')
0 files changed, 0 insertions, 0 deletions