#!/bin/bash

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

date

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

rm on.button1.clicked.mps

extractWidgets.mps < mumps.glade

mumpsc gtk.mps