diff options
author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-27 18:20:34 -0400 |
---|---|---|
committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-27 18:20:34 -0400 |
commit | ff79d2abaea61aa1ba3bca2762a11818c8658201 (patch) | |
tree | ed986344b60d8ddda9e37e375552f68b6b8775fc /src | |
parent | da640c5a467bfdf7b3bbced52fc13a28fd8b37bd (diff) | |
download | roux-ff79d2abaea61aa1ba3bca2762a11818c8658201.tar.gz |
move paper synchronization to top makefile
Diffstat (limited to 'src')
-rw-r--r-- | src/.gitignore | 1 | ||||
-rw-r--r-- | src/Makefile | 2 |
2 files changed, 0 insertions, 3 deletions
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 |