#!/bin/bash

if [ -f src/Makefile ] ; then
   cd src; make clean ; cd .. ; rm -f dfpt
fi

rm src/Makefile 
