diff options
Diffstat (limited to 'Build/cdbuild/Checktpm')
-rwxr-xr-x | Build/cdbuild/Checktpm | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Build/cdbuild/Checktpm b/Build/cdbuild/Checktpm new file mode 100755 index 00000000000..6a4e6231be5 --- /dev/null +++ b/Build/cdbuild/Checktpm @@ -0,0 +1,14 @@ +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 |