summaryrefslogtreecommitdiff
path: root/Build/tools/check1
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools/check1')
-rw-r--r--Build/tools/check111
1 files changed, 0 insertions, 11 deletions
diff --git a/Build/tools/check1 b/Build/tools/check1
deleted file mode 100644
index 3302043187c..00000000000
--- a/Build/tools/check1
+++ /dev/null
@@ -1,11 +0,0 @@
-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