diff options
Diffstat (limited to 'crawl-ref/dolinks.sh')
-rwxr-xr-x | crawl-ref/dolinks.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh index c6c6c6e862..c3d3efc743 100755 --- a/crawl-ref/dolinks.sh +++ b/crawl-ref/dolinks.sh @@ -2,10 +2,14 @@ dolinks() { mkdir -p source + mkdir -p docs cd source ln -sf ../../source/*.{cc,h,txt} . ln -sf ../../source/makefile* . ln -sf ../../source/{util,contrib,rltiles,prebuilt,dat} . + cd .. + cd docs + ln -sf ../../docs/* . } mkdir -p NORMAL |