summary refs log tree commit diff
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-27 18:20:34 -0400
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-27 18:20:34 -0400
commitff79d2abaea61aa1ba3bca2762a11818c8658201 (patch)
treeed986344b60d8ddda9e37e375552f68b6b8775fc
parentda640c5a467bfdf7b3bbced52fc13a28fd8b37bd (diff)
downloadroux-ff79d2abaea61aa1ba3bca2762a11818c8658201.tar.gz
move paper synchronization to top makefile
-rw-r--r--.gitignore1
-rw-r--r--Makefile5
-rw-r--r--src/.gitignore1
-rw-r--r--src/Makefile2
4 files changed, 5 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..2b1c6c0
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+papers
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
diff --git a/src/.gitignore b/src/.gitignore
index cfd89d7..5c8ecc2 100644
--- a/src/.gitignore
+++ b/src/.gitignore
@@ -1,5 +1,4 @@
 qbe
-doc
 config.h
 .comfile
 *.o
diff --git a/src/Makefile b/src/Makefile
index 8fdf29f..9b6b7a5 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -20,7 +20,5 @@ clean:
 	rm -f $(BIN) $(OBJ)
 check:
 	make -C .. check
-syndoc:
-	unison -auto doc ssh://qcar@h/data/d/ssa-doc
 
 .PHONY: all clean check syndoc