1 files changed, 39 insertions, 0 deletions
diff --git a/Master/bin/alpha-linux/mkindex b/Master/bin/alpha-linux/mkindex
new file mode 100755
index 00000000000..565f805695d
--- /dev/null
+++ b/Master/bin/alpha-linux/mkindex
@@ -0,0 +1,39 @@
+#!/bin/sh
+
+test -f /bin/sh5 && test -z "$RUNNING_SH5" \
+  && { UNAMES=`uname -s`; test "x$UNAMES" = xULTRIX; } 2>/dev/null \
+  && { RUNNING_SH5=true; export RUNNING_SH5; exec /bin/sh5 $0 ${1+"$@"}; }
+unset RUNNING_SH5
+
+test -f /bin/bsh && test -z "$RUNNING_BSH" \
+  && { UNAMES=`uname -s`; test "x$UNAMES" = xAIX; } 2>/dev/null \
+  && { RUNNING_BSH=true; export RUNNING_BSH; exec /bin/bsh $0 ${1+"$@"}; }
+unset RUNNING_BSH
+
+progname=`basename $0`
+case $# in
+  0) 
+    echo "usage: `basename $0` file[.idx] ..." 1>&2
+    exit 1
+    ;;
+esac
+
+gind=gind.ist
+gglo=gglo.ist
+
+# remember starting directory
+dir=`pwd`
+
+# loop over all files
+for i
+do
+  destdir=`echo $i | sed 's/^[^\/]*$/./; s/\/[^\/]*$//'`
+  test -d "$destdir"||continue
+  cd "$destdir"
+  FILENAME=`basename $i .idx`
+  test -f "$FILENAME".idx \
+    && makeindex -s $gind "$FILENAME"
+  test -f "$FILENAME".glo \
+    && makeindex -s $gglo -o "$FILENAME".gls "$FILENAME".glo
+  cd "$dir"
+done