diff -r 000000000000 -r 4d5b3eda7be1 exec/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/exec/Makefile	Sun Jan 05 16:28:53 2020 +0100
@@ -0,0 +1,14 @@
+.PHONY: all display display-messages display-protocol
+
+all: protocol.pdf
+
+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