diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |