#!/bin/bash

echo "-------------------------"
echo 

date

# remove any signal handlers that contain
# no working code so they may be re-created

extractWidgets.mps < mumps.glade


mumpsc gtk.mps