Use new names config.in, paths.in, and {src,lib-src}/Makefile.in.
commitc3f1e1a914acf731014d2963e7b771fd0a007f65
authorRichard M. Stallman <rms@gnu.org>
Sun, 29 Oct 1995 20:22:55 +0000 (29 20:22 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sun, 29 Oct 1995 20:22:55 +0000 (29 20:22 +0000)
treedd8c4044da4f1d8e4f0f0530d2160733897a23e4
parent0646c0ddf4cfd510cb243c85518d125f0ca223d1
Use new names config.in, paths.in, and {src,lib-src}/Makefile.in.
make-dist