summaryrefslogtreecommitdiff
path: root/Build/cdbuild/Checktpm
diff options
context:
space:
mode:
Diffstat (limited to 'Build/cdbuild/Checktpm')
-rwxr-xr-xBuild/cdbuild/Checktpm14
1 files changed, 0 insertions, 14 deletions
diff --git a/Build/cdbuild/Checktpm b/Build/cdbuild/Checktpm
deleted file mode 100755
index 6a4e6231be5..00000000000
--- a/Build/cdbuild/Checktpm
+++ /dev/null
@@ -1,14 +0,0 @@
-cd /texlive/Master/texmf-dist/tpm
-for i in *.tpm
-do
- F=`basename $i .tpm`
- X=`kpsewhich -format='TeX system documentation' $F.xml`
- if test -z "$X"; then
- echo PANIC $F
- else
- xt $F.tpm /texlive/Build/cdbuild/tpm2tpm.xsl $$.xml
- p4 edit $F.tpm
- cat $$.xml > $F.tpm
- rm $$.xml
- fi
-done