diff options
Diffstat (limited to 'Build/tools/update-tpm')
-rwxr-xr-x | Build/tools/update-tpm | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/Build/tools/update-tpm b/Build/tools/update-tpm deleted file mode 100755 index 2d6abb1fd3a..00000000000 --- a/Build/tools/update-tpm +++ /dev/null @@ -1,40 +0,0 @@ -#!/bin/sh -# $Id$ -# Public domain. Originally written 2004, Karl Berry. -# -# Regenerate the given set of tpm's using tpm-factory. - -mydir=`dirname $0` -tools=`cd $mydir && pwd` -master=`cd $mydir/../../Master && pwd` - -verbose=${OVERRIDE_VERBOSE-} - -if test "x$1" = x--debug; then - verbose=--debug - shift -fi - -test $# -eq 0 && set - TLCore Package Documentation - -for type in "$@"; do - case $type in - TLCore) p=from; dir=texmf;; - Package) p=auto; dir=texmf-dist;; - Documentation) p=auto; dir=texmf-doc;; - *) echo "$0: unknown type $type, one of TLCore, Package, Documentation.">&2 - exit 1;; - esac - - cd $master/$dir/tpm || exit 1 - chmod a+rw * >&/dev/null # all files must be writable for tpm-factory. - - perl $tools/tpm-factory.pl $verbose \ - --master_dir=$master --ftp_dir=/tmp \ - --clean \ - --arch=all \ - --patterns=$p \ - --type=$type \ - | grep -v '^Writing ' -done -exit 0 |