rt.op and check.opt removed from Makefile

diff --git a/helm/software/components/ng_disambiguation/Makefile b/helm/software/components/ng_disambiguation/Makefile
index 91e3c09c76394c123c2c075f034784b2d1f428d1..a613a1c041645794f1e4bb90f1d937f2feb461d1 100644 (file)
--- a/helm/software/components/ng_disambiguation/Makefile
+++ b/helm/software/components/ng_disambiguation/Makefile
@@ -14,7 +14,7 @@ EXTRA_OBJECTS_TO_CLEAN =
 all: 
 %: %.ml $(PACKAGE).cma
        $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $<
-all.opt opt: rt.opt check.opt
+all.opt opt:
 %.opt: %.ml $(PACKAGE).cmxa
        $(OCAMLOPT) -package helm-$(PACKAGE) -linkpkg -o $@ $<