linkonly now also links matitac

diff --git a/matita/Makefile b/matita/Makefile
index 5edaeee643827857b654eb2f0014ece759f7d4f2..c51e7b7b653e6f6e2e936c77077d57641a156c65 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -119,6 +119,8 @@ links:
 linkonly:
        $(H)echo "  OCAMLC matita.ml"
        $(H)$(OCAMLC) $(PKGS) -linkpkg -o matita $(CMOS) matita.ml
+       $(H)echo "  OCAMLC matitac.ml"
+       $(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) matitac.ml
 .PHONY: linkonly
 matita: matita.ml $(LIB_DEPS) $(CMOS)
        $(H)echo "  OCAMLC $<"