1 files changed, 0 insertions, 56 deletions
diff --git a/Tools/portbuild/scripts/makeindex b/Tools/portbuild/scripts/makeindex
deleted file mode 100755
index 2425d07d55f3..000000000000
--- a/Tools/portbuild/scripts/makeindex
+++ /dev/null
@@ -1,56 +0,0 @@
-#!/bin/sh
-# usage: $0 arch branch buildid
-
-# Don't want to pick up host customizations
-export INDEX_PRISTINE=1
-
-# Don't give luser advice if it fails
-export INDEX_QUIET=1
-
-# Concurrency of index build
-export INDEX_JOBS=6
-
-# For debugging purposes only
-#export INDEX_VERBOSE=1
-
-pb=/var/portbuild
-
-usage () {
-  echo "usage: makeindex arch branch buildid"
-  exit 1
-}
-
-if [ $# -ne 3 ]; then
-  usage
-fi
-
-arch=$1
-branch=$2
-buildid=$3
-shift 3
-
-builddir=${pb}/${arch}/${branch}/builds/${buildid}
-
-. ${pb}/conf/server.conf
-. ${pb}/conf/common.conf
-. ${pb}/${arch}/portbuild.conf
-. ${pb}/scripts/buildenv
-
-# Set up the build env variables
-buildenv ${pb} ${arch} ${branch} ${builddir}
-
-unset DISPLAY
-
-# Don't pick up installed packages from the host
-export LOCALBASE=/nonexistentlocal
-
-cd ${PORTSDIR}
-make index
-if [ ! -e ${INDEXFILE} ]; then
-  echo "makeindex: failed to make ${INDEXFILE}"
-  exit 1
-fi
-
-# remove extra spaces in dependency list -- this causes problems
-# Also transform the dummy paths to their canonical locations
-sed -i '' -e 's/  */ /g' -e 's/|  */|/g' -e 's/  *|/|/g' -e "s,${LOCALBASE},/usr/local," ${INDEXFILE}