diff options
author | Glenn Morris <rgm@gnu.org> | 2013-11-10 17:00:03 -0800 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2013-11-10 17:00:03 -0800 |
commit | a80a32e8c49c1ab284f9ee29982bea714a6a41ca (patch) | |
tree | 6707d5948f63861787373836b1cebdc50a3cfcda /make-dist | |
parent | 766284d929354de22788e0c9457824b43dd0ad4a (diff) |
* make-dist: Comment
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -453,6 +453,8 @@ echo "Making links to \`lwlib'" ln *.[ch] *.in ../${tempdir}/lwlib ln README ChangeLog ../${tempdir}/lwlib) +## It is important to distribute admin/ because it contains sources +## for generated lisp/international/uni-*.el files. echo "Making links to \`admin' and its subdirectories" for f in `find admin -type f`; do case $f in |