diff options
Diffstat (limited to 'crawl-ref/dolinks.sh')
| -rw-r--r-- | crawl-ref/dolinks.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh index 46815055b0..ed4fd2cb6f 100644 --- a/crawl-ref/dolinks.sh +++ b/crawl-ref/dolinks.sh @@ -3,6 +3,7 @@ mkdir -p NORMAL mkdir -p WIZARD -pushd NORMAL ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd -pushd WIZARD ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd +pushd NORMAL ; ln -s ../source/util . ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd +pushd WIZARD ; ln -s ../source/util . ; ln -s ../source/*.h ../source/*.cc ../source/makefile* . ; popd +ln -s source/dat dat |