log make-dist @ 9224:b4563001d783

age author description
1994-08-21 Richard M. Stallman (src/m, src/s): Put *.inp in distribution.
1994-07-26 Richard M. Stallman Update the info files.
1994-07-11 Richard M. Stallman Update finder-inf.el.