2016-03-27 19:13:34 -04:00
|
|
|
all clean check:
|
2016-03-27 18:05:27 -04:00
|
|
|
@make -C src $@
|
|
|
|
|
@make -C minic $@
|
2016-03-27 19:13:34 -04:00
|
|
|
|
2016-03-27 18:20:34 -04:00
|
|
|
sync-papers:
|
|
|
|
|
unison -auto papers ssh://qcar@h/data/d/ssa-doc
|
|
|
|
|
|
|
|
|
|
.PHONY: all clean check sync-papers
|
