summaryrefslogtreecommitdiff
path: root/Master/Tools/check1
diff options
context:
space:
mode:
Diffstat (limited to 'Master/Tools/check1')
-rw-r--r--Master/Tools/check111
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/Tools/check1 b/Master/Tools/check1
new file mode 100644
index 00000000000..3302043187c
--- /dev/null
+++ b/Master/Tools/check1
@@ -0,0 +1,11 @@
+grep Package ../texmf/tpm/collection*tpm | grep name= | sed 's/.*Package name=.//' | sed 's/\".*//' > 2
+grep Documentation ../texmf/tpm/collection*tpm | grep name= | sed 's/.*Documentation name=.//' | sed 's/\".*//' >> 2
+grep TLCore ../texmf/tpm/collection*tpm | grep name= | sed 's/.*TLCore name=.//' | sed 's/\".*//' >> 2
+sort -u 2 > 3
+mv 3 2
+ls ../texmf-dist/tpm/ | sed 's/\.tpm//' > 1
+ls ../texmf/tpm/ | sed 's/\.tpm//' >> 1
+ls ../texmf-doc/tpm/ | sed 's/\.tpm//' >> 1
+sort 1 > 3
+mv 3 1
+diff 1 2 > 3