* I had alphabetized the --configure options in the --help output
[mmh] / docs / Makefile.in
2000-05-06 Dan HarklessFixed DIST targets to reflect that INSTALL and MACHINES...
2000-05-06 Doug Morrisreorganized documentation to make it bit neater again