git clone $(REPO) $@
checkout : $(PACKAGE)
- git --git-dir $(<:%=%/.git) --work-tree ../ pull
- git --git-dir $(<:%=%/.git) --work-tree ../ reset --hard HEAD
+ (cd $(PACKAGE) && git pull && git reset --hard HEAD)
%.pdf : checkout
$(MAKE) -C $(PACKAGE:%=%/test) $@