diff options
Diffstat (limited to 'Build/source/utils/xindy/setup.sh')
| -rwxr-xr-x | Build/source/utils/xindy/setup.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Build/source/utils/xindy/setup.sh b/Build/source/utils/xindy/setup.sh new file mode 100755 index 00000000000..85b16969355 --- /dev/null +++ b/Build/source/utils/xindy/setup.sh @@ -0,0 +1,14 @@ +#!/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 + + + |