http://git.debian.org/?p=tokyodebian/monthly-report.git;a=summary
http://tokyodebian.alioth.debian.org/prework-update.html
texが更新されたらリビルド開始
while (/bin/true) do [ 1.tex -nt /tmp/1.tex -o 2.tex -nt /tmp/2.tex ] && make ; \cp -p 1.tex 2.tex /tmp/ ; sleep 1; done; F=1.tex; while (/bin/true) do sleep 1; [ $F -nt /tmp/$F ] || continue ; make && ( \cp -p $F /tmp/ && git now && continue ) ; sleep 30 ; done;
既存pdfの作成省略
ls *.tex | xargs -n1 sh -c 'touch ${0%.tex}.pdf'