diff options
Diffstat (limited to 'crawl-ref/dolinks.sh')
-rw-r--r-- | crawl-ref/dolinks.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh new file mode 100644 index 0000000000..46815055b0 --- /dev/null +++ b/crawl-ref/dolinks.sh @@ -0,0 +1,8 @@ +#!/bin/sh + +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 + |