comparison make-dist @ 4801:176add5e2e47

Don't copy ${srcdir}/src/Makefile.in; that file doesn't exist. Just copy src/Makefile.in instead. Touch all of the Makefiles after editing config.status.
author Brian Fox <bfox@gnu.org>
date Thu, 30 Sep 1993 23:11:45 +0000
parents 6e068e4635e0
children f27254ec443e
comparison
equal deleted inserted replaced
4800:d41c009d6ac6 4801:176add5e2e47