diff options
Diffstat (limited to 'src/Makefile')
-rw-r--r-- | src/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
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 |