aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorQuentin Carbonneaux <[email protected]>2016-03-27 18:20:34 -0400
committerQuentin Carbonneaux <[email protected]>2016-03-27 18:20:34 -0400
commitff79d2abaea61aa1ba3bca2762a11818c8658201 (patch)
treeed986344b60d8ddda9e37e375552f68b6b8775fc /Makefile
parentda640c5a467bfdf7b3bbced52fc13a28fd8b37bd (diff)
move paper synchronization to top makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ae15d15..5d8ed82 100644
--- a/Makefile
+++ b/Makefile
@@ -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