Added steps to README.developers saying to change the version number to
[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