30 lines
534 B
Bash
Executable File
30 lines
534 B
Bash
Executable File
#!/bin/sh
|
|
if [ $# != 1 ]; then
|
|
echo "Usage: $0 <filename>"
|
|
exit 1
|
|
fi
|
|
|
|
mkdir tikz-$$
|
|
|
|
if [ -e "Makefile" ]; then
|
|
rm ${1%.tex}.pdf; max_print_line=1000 make ${1%.tex}.pdf > /dev/null < /dev/null
|
|
else
|
|
max_print_line=1000 pdflatex 1% > /dev/null < /dev/null
|
|
fi
|
|
|
|
for i in `grep /pgf/ ${1%.tex}.log | tr -d '()'`; do
|
|
if [ "${i##*.}" = tex ]; then
|
|
echo $i
|
|
(echo '%auto-ignore'; cat $i) > tikz-$$/$(basename $i)
|
|
else
|
|
cp $i tikz-$$/$(basename $i)
|
|
fi
|
|
done
|
|
|
|
cd tikz-$$
|
|
zip ../tikz.zip *
|
|
$cd ..
|
|
rm -rf tikz-$$
|
|
|
|
exit 0
|