configure/distribution practices.
Makefile: remove, replacing with a configurable Makefile.in
texindex.c texinfo.tex: remove, replacing with references to tools elsewhere
in Cygnus distribution tree.
Makefile.in: configurable (and useable) Makefile.
configure.in: pro forma configure stub.
first paragraph. It looks like it's left over from previous
nomenclature; term "cutting" introduced there is not used in rest of
document. ("killing" is used instead, as in the section title and in
the following paragraph.)
2) More consistent use of @key for things to type in; in a few cases
not having it actually produced wrong doc on paper---notably "M--"
comes out as "M" followed by emdash, if in the plain Roman body
text...
This will eventually be supported with a trivial macro, but those aren't
standard texinfo yet; in the meantime, I think GDB is the only manual we
print that uses these---and it wants appendices.