move paper synchronization to top makefile

This commit is contained in:
Quentin Carbonneaux 2016-03-27 18:20:34 -04:00
parent da640c5a46
commit ff79d2abae
4 changed files with 5 additions and 4 deletions

View file

@ -1,6 +1,9 @@
.PHONY: all clean check
all clean:
@make -C src $@
@make -C minic $@
check: all
test/go.sh all
sync-papers:
unison -auto papers ssh://qcar@h/data/d/ssa-doc
.PHONY: all clean check sync-papers