diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 5 | ||||
| -rw-r--r-- | src/.gitignore | 1 | ||||
| -rw-r--r-- | src/Makefile | 2 |
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 |