diff options
author | Karl Berry <karl@freefriends.org> | 2016-05-18 21:57:05 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-05-18 21:57:05 +0000 |
commit | 218d2dbac55aeda0805fba814e4bf8faed08bb4d (patch) | |
tree | de01f194c61eb8a24fd91c0336522531d7b551c3 /Master/texmf-dist/doc | |
parent | c3be22d9802f967f11d1ce6ac1b6f7c3e66220b3 (diff) |
uptex-base (18may16)
git-svn-id: svn://tug.org/texlive/trunk@41239 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc')
-rwxr-xr-x | Master/texmf-dist/doc/uptex/uptex-base/create_archive.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Master/texmf-dist/doc/uptex/uptex-base/create_archive.sh b/Master/texmf-dist/doc/uptex/uptex-base/create_archive.sh deleted file mode 100755 index 97a678e79b4..00000000000 --- a/Master/texmf-dist/doc/uptex/uptex-base/create_archive.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh - -PROJECT=uptex-base -TMP=/tmp - -git archive --format=tar --prefix=$PROJECT/ HEAD | (cd $TMP && tar xf -) - -# Remove auxiliary files -rm $TMP/$PROJECT/.gitignore -rm $TMP/$PROJECT/create_archive.sh - -echo " * Create $PROJECT.zip" - -PWDF=`pwd` -cd $TMP && zip -r $PWDF/$PROJECT.zip $PROJECT -rm -rf $TMP/$PROJECT -echo -echo " * Done: $PROJECT.zip" |