# HG changeset patch # User Jim Blandy # Date 727025853 0 # Node ID 1be021d4d81655ca97f071acb3ce1545b2d50a9e # Parent 2c65d1a8af090d819d0fbd5d9396ed18147ed936 * make-dist: Remember that the authoritative COPYING notice is `etc/COPYING', not `../etc/COPYING'. diff -r 2c65d1a8af09 -r 1be021d4d816 make-dist --- a/make-dist Thu Jan 14 15:36:25 1993 +0000 +++ b/make-dist Thu Jan 14 15:37:33 1993 +0000 @@ -226,7 +226,7 @@ if [ -f ${tempdir}/${subdir}/COPYING ]; then rm ${tempdir}/${subdir}/COPYING fi - cp ../etc/COPYING ${tempdir}/${subdir} + cp etc/COPYING ${tempdir}/${subdir} done if [ "${newer}" ]; then