diff options
author | Karl Berry <karl@freefriends.org> | 2006-02-14 00:54:57 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-02-14 00:54:57 +0000 |
commit | 2e833c685a007ffd7649dec30fd6a3a75769b242 (patch) | |
tree | 8c733cddbba19deddae23a24f36cf231fef80dc2 /Build/tools/check1 | |
parent | 2eba0ce0cddb0d290614b2bd6ea0cd6718ac5b54 (diff) |
find tools under Build, remove old scripts
git-svn-id: svn://tug.org/texlive/trunk@1518 c570f23f-e606-0410-a88d-b1316a301751
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 |