-rename/ParseType.hs : rename/ParseType.y
- @$(RM) rename/ParseType.hs rename/ParseType.hinfo
- $(HAPPY) $(HAPPY_OPTS) -g rename/ParseType.y
- @chmod 444 rename/ParseType.hs
-
-rename/ParseUnfolding.hs : rename/ParseUnfolding.y
- @$(RM) rename/ParseUnfolding.hs rename/ParseUnfolding.hinfo
- $(HAPPY) $(HAPPY_OPTS) -g rename/ParseUnfolding.y
- @chmod 444 rename/ParseUnfolding.hs
-