diff options
| -rwxr-xr-x | make-dist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make-dist b/make-dist index a09d988a85f..645046d3c33 100755 --- a/make-dist +++ b/make-dist @@ -326,6 +326,9 @@ echo "Making links to \`lisp' and its subdirectories" if [ -f $file/README ]; then ln $file/README ../${tempdir}/lisp/$file fi + if [ -f $file/ChangeLog ]; then + ln $file/ChangeLog ../${tempdir}/lisp/$file + fi done ) echo "Making links to \`leim' and its subdirectories for the LEIM distribution" |