--- /dev/null
+#!/bin/sh
+# $Id: cleanrecords.sh,v 1.1 2006-04-27 10:52:26 marc Exp $
+
+srcdir=${srcdir:-"."}
+
+# these should not be here, will be created later
+if [ -f $srcdir/records/esdd0001.grs ]
+ then
+ rm -f $srcdir/records/esdd0001.grs
+fi
+if [ -f $srcdir/records/esdd0002.grs ]
+ then
+ rm -f $srcdir/records/esdd0002.grs
+fi