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/Checktpm | |
parent | 07fed0169bae91dfb5616f9d19e7969727e19d4d (diff) |
initial Build
git-svn-id: svn://tug.org/texlive/trunk@4 c570f23f-e606-0410-a88d-b1316a301751
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 |