diff options
-rwxr-xr-x | crawl-ref/dolinks.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh index ed4ecac43d..c6c6c6e862 100755 --- a/crawl-ref/dolinks.sh +++ b/crawl-ref/dolinks.sh @@ -3,7 +3,7 @@ dolinks() { mkdir -p source cd source - ln -sf ../../source/*.{cc,h} . + ln -sf ../../source/*.{cc,h,txt} . ln -sf ../../source/makefile* . ln -sf ../../source/{util,contrib,rltiles,prebuilt,dat} . } |