#!/bin/bash

echo Making images of the figures
cd figures
rm *.png
tclsh ../../../apps/diagram-viewer convert -o . png *.dia
exit
