diff options
Diffstat (limited to 'Build/cdbuild/rmpackage')
| -rwxr-xr-x | Build/cdbuild/rmpackage | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/cdbuild/rmpackage b/Build/cdbuild/rmpackage new file mode 100755 index 00000000000..e93f8cc836a --- /dev/null +++ b/Build/cdbuild/rmpackage @@ -0,0 +1,7 @@ +#!/bin/sh +R=/texlive/Master +P4OPTS=" -p sun2.dante.de:1666 -c tex" +cd $R +cat $R/texmf-dist/tpm/lists/$1 | sed -e '/^ *$/d' -e 's/^ *//' | p4 $P4OPTS -x - delete + + |