# Last edited on 2010-03-13 00:33:48 by stolfi RELEASE := 2010-03-08 DIRECTORIES := \ ${RELEASE}/. \ ${wildcard ${RELEASE}/*/.} \ ${wildcard ${RELEASE}/*/*/.} \ ${wildcard ${RELEASE}/*/*/*/.} all: @echo "make what?" examples: ( cd ${RELEASE} && make examples ) .tarlist: ${DIRECTORIES} find ${RELEASE}/ \( -type f -o -type l \) -print \ | egrep -v -e 'JUNK|junk|OLD|SAVE|[~]$$|[/][.]' \ | egrep -v -e '[.](ps|dvi|aux|bbl|blg|log|lof|lot|toc|errs)$$' \ | sort > .tarlist tarfile: .tarlist tar -cvzf ic-logos-${RELEASE}.tgz --files-from=.tarlist