diff options
author | Karl Berry <karl@freefriends.org> | 2005-12-27 23:56:17 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2005-12-27 23:56:17 +0000 |
commit | 577983747d8680b8defbfdd03a9d50bad6fd54b7 (patch) | |
tree | 16b160f53c6c4c309c07db2c5b095d3abb16f69a /Build/cdbuild/grab-doc | |
parent | 07fed0169bae91dfb5616f9d19e7969727e19d4d (diff) |
initial Build
git-svn-id: svn://tug.org/texlive/trunk@4 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/cdbuild/grab-doc')
-rwxr-xr-x | Build/cdbuild/grab-doc | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Build/cdbuild/grab-doc b/Build/cdbuild/grab-doc new file mode 100755 index 00000000000..27f1a7e0a5d --- /dev/null +++ b/Build/cdbuild/grab-doc @@ -0,0 +1,16 @@ +#!/bin/sh +HERE=`cd \`dirname $0\` && /bin/pwd` +cd $HERE || exit 1 +ROOT=`cd ../../Master && /bin/pwd` +MASTER=$ROOT/texmf-doc/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-doc/tpm +chmod -R u+w . +echo Should have written `cat /var/tmp/$$.list | wc -l` files +rm /var/tmp/$$.list |