+Wed Feb 5 22:52:41 1997 Richard Basch <basch@lehman.com>
+
+ * Makefile.in: Remove the target ct_c.awk before copying over it.
+ If ct_c.awk.in were read-only, ct_c.awk will become
+ read-only and cannot be updated again.
+
Thu Jun 13 21:43:44 1996 Tom Yu <tlyu@voltage-multiplier.mit.edu>
* configure.in: remove ref to SS_RULES, ET_RULES
chmod 755 mk_cmds
ct_c.awk: $(srcdir)/ct_c_awk.in
- $(CP) $(srcdir)/ct_c_awk.in ct_c.awk
+ $(RM) $@
+ $(CP) $(srcdir)/ct_c_awk.in $@
ct_c.sed: $(srcdir)/ct_c_sed.in
$(SED) -e '/^#/d' $(srcdir)/ct_c_sed.in > ct_c.sed