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, 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