diff -r dace11211dc9 -r 03cd058c33ba exec/Makefile
--- a/exec/Makefile	Sat Jan 11 01:02:01 2020 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,25 +0,0 @@
-.PHONY: all display display-messages display-protocol constants
-
-all: protocol.pdf constants
-
-protocol.pdf: messages.csv protocol.csv protocol.sh
-	./protocol.sh
-
-display: display-messages display-protocol
-
-display-messages:
-	cat messages.csv | relpipe-in-csv "messages" | relpipe-out-tabular
-
-display-protocol:
-	cat protocol.csv | relpipe-in-csv "protocol" | relpipe-out-tabular
-
-constants: ExecMsg.h
-
-ExecMsg.h: messages.csv constants.cpp.sh
-	cat messages.csv | ./constants.cpp.sh > ExecMsg.h
-	g++ ExecMsg.h
-	rm ExecMsg.h.gch
-
-clean:
-	rm -f protocol.pdf
-	rm -f ExecMsg.h