diff options
Diffstat (limited to 'Build/cdbuild/grab')
-rwxr-xr-x | Build/cdbuild/grab | 16 |
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 |