diff options
author | Glenn Morris <rgm@gnu.org> | 2014-04-10 23:39:11 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2014-04-10 23:39:11 -0700 |
commit | 9b1ac3be88fab32c29c1bd53a8d5eedd81a49cad (patch) | |
tree | e08f6807a1208a1eb6e26132aab68225fec4c3c6 /make-dist | |
parent | 235b3c7920dd5ba46f11e3a1494802aed0c40618 (diff) |
* make-dist: Distribute lib-src/update-game-score.exe.manifest.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -385,7 +385,8 @@ echo "Making links to \`lib-src'" ln [a-zA-Z]*.[ch] ../${tempdir}/lib-src ln ChangeLog Makefile.in README testfile ../${tempdir}/lib-src ln grep-changelog rcs2log ../${tempdir}/lib-src - ln makefile.w32-in ../${tempdir}/lib-src) + ln makefile.w32-in ../${tempdir}/lib-src + ln update-game-score.exe.manifest ../${tempdir}/lib-src) echo "Making links to \`m4'" (cd m4 |