summaryrefslogtreecommitdiff
path: root/Build/cdbuild/grab
diff options
context:
space:
mode:
Diffstat (limited to 'Build/cdbuild/grab')
-rwxr-xr-xBuild/cdbuild/grab16
1 files changed, 0 insertions, 16 deletions
diff --git a/Build/cdbuild/grab b/Build/cdbuild/grab
deleted file mode 100755
index 65f36c28baa..00000000000
--- a/Build/cdbuild/grab
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/sh
-HERE=`cd \`dirname $0\` && /bin/pwd`
-cd $HERE || exit 1
-ROOT=`cd ../../Master && /bin/pwd`
-MASTER=$ROOT/texmf-dist/tpm
-cd $HERE/cooked || exit 1
-mkdir $1
-cd $1
-echo process $1 from $MASTER
-test -f $MASTER/$1.tpm \
- && xsltproc -o /var/tmp/$$.list $HERE/tpm2files.xsl $MASTER/$1.tpm
-(cd $ROOT; tar -c -T /var/tmp/$$.list -f - ) | tar xf -
-rm -rf texmf-dist/tpm/lists texmf-dist/tpm
-chmod -R u+w .
-echo Should have written `cat /var/tmp/$$.list | wc -l` files
-rm /var/tmp/$$.list