2018-05-28 21:12:29 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
# Repacks the texlive tarball to remove unused sources.
|
|
|
|
|
|
|
|
|
|
VERSION=${VERSION:-$(echo texlive-*source.tar.?z* | rev | cut -f 2 -d - | cut -f 1 -d - | rev)}
|
|
|
|
|
|
|
|
|
|
tar xf texlive-${VERSION}-source.tar.xz || exit 1
|
|
|
|
|
mv texlive-${VERSION}-source.tar.xz texlive-${VERSION}-source.tar.xz.orig
|
|
|
|
|
( cd texlive-${VERSION}-source/libs && rm -rf cairo freetype2 gd gmp mpfr icu libpng pixman zlib )
|
|
|
|
|
( cd texlive-${VERSION}-source/utils && rm -rf asymptote )
|
2018-07-06 05:15:37 +02:00
|
|
|
( cd texlive-${VERSION}-source/texk/texlive && rm -rf w*_wrapper )
|
2018-05-28 21:12:29 +02:00
|
|
|
tar cf texlive-${VERSION}-source.tar texlive-${VERSION}-source
|
|
|
|
|
rm -r texlive-${VERSION}-source
|
2018-07-06 05:15:37 +02:00
|
|
|
xz -9 texlive-${VERSION}-source.tar
|
2018-05-28 21:12:29 +02:00
|
|
|
touch -r texlive-${VERSION}-source.tar.xz.orig texlive-${VERSION}-source.tar.xz
|
|
|
|
|
rm texlive-${VERSION}-source.tar.xz.orig
|
