11 rm -f *.cmi *.cmo *.cma *.cmx *.cmxa
15 $(MAKE) -C reader clean
16 $(MAKE) -C write clean
17 $(MAKE) -C codewriter clean
18 $(MAKE) -C canonxml clean
19 $(MAKE) -C negative clean
25 $(MAKE) -C reader distclean
26 $(MAKE) -C write distclean
27 $(MAKE) -C codewriter distclean
28 $(MAKE) -C canonxml distclean
29 $(MAKE) -C negative distclean
31 dumpfiles: dumpfiles.ml
32 ocamlc -o dumpfiles dumpfiles.ml