From ff79d2abaea61aa1ba3bca2762a11818c8658201 Mon Sep 17 00:00:00 2001 From: Quentin Carbonneaux Date: Sun, 27 Mar 2016 18:20:34 -0400 Subject: move paper synchronization to top makefile --- src/Makefile | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/Makefile') 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 -- cgit v1.2.3