#!/bin/sh if [ $# != 1 ]; then echo "Usage: $0 " 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