summaryrefslogtreecommitdiff
path: root/Build/cdbuild/grab-doc
diff options
context:
space:
mode:
Diffstat (limited to 'Build/cdbuild/grab-doc')
-rwxr-xr-xBuild/cdbuild/grab-doc16
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