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