Makefile

BASE_NAME = cpsa4manual
BIB_NAME = secureprotocols
MP_MACROS = strands.mp cmstrands.mp
export BIBINPUTS = .:
include ltxmp.mk