exec/Makefile
branchv_0
changeset 0 4d5b3eda7be1
child 2 dace11211dc9
equal deleted inserted replaced
-1:000000000000 0:4d5b3eda7be1
       
     1 .PHONY: all display display-messages display-protocol
       
     2 
       
     3 all: protocol.pdf
       
     4 
       
     5 protocol.pdf: messages.csv protocol.csv protocol.sh
       
     6 	./protocol.sh
       
     7 
       
     8 display: display-messages display-protocol
       
     9 
       
    10 display-messages:
       
    11 	cat messages.csv | relpipe-in-csv "messages" | relpipe-out-tabular
       
    12 
       
    13 display-protocol:
       
    14 	cat protocol.csv | relpipe-in-csv "protocol" | relpipe-out-tabular