#!/bin/sh
#
# Convert msc files to png
#

mscgen -T png -i rvi_protocol_double_connect1.msc -o rvi_protocol_double_connect1.png
mscgen -T png -i rvi_protocol_double_connect2.msc -o rvi_protocol_double_connect2.png
mscgen -T png -i rvi_protocol_flow.msc -o rvi_protocol_flow.png