diff options
Diffstat (limited to 'Build/source/utils/xindy-old/setup.sh')
-rwxr-xr-x | Build/source/utils/xindy-old/setup.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Build/source/utils/xindy-old/setup.sh b/Build/source/utils/xindy-old/setup.sh deleted file mode 100755 index 85b16969355..00000000000 --- a/Build/source/utils/xindy-old/setup.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -target=$PWD - -cp $target/bin/xindy $target/bin/xindy.org - -sed -e "s:\$lib_dir = \"\(.*\):\$lib_dir = \"$target\/lib/xindy\";:" \ -$target/bin/xindy.org > $target/bin/xindy - -# remove wrapper script -rm -f $target/setup.sh $target/bin/xindy.org - - - |