* build.texinfo (Installing the Binaries): New node; describe basic "make install", along with "DESTDIR=...". To generate a diff of this commit: cvs diff -r1.85 -r1.86 krb5/doc/ChangeLog cvs diff -r1.18 -r1.19 krb5/doc/build.texinfo