diff options
Diffstat (limited to 'Build/tools/check1')
| -rw-r--r-- | Build/tools/check1 | 11 |
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 |