@@ -1,3 +1,4 @@
+#!/bin/sh
echo "/* this part is generated from $1 at: " `date` "*/"
ed -s $1 <<'EOI'
1,/^$/d