#!/bin/sh

for i in SECRECY PROP1 PROP2
do
    m4 -D$i protocol.m4.pi > prot-$i.pi
done
