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