better owner hadling

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 07fd7f3382a31c9da6e5a713bb7eb76c38d6e441..aadfd26ad1e7b8d532a90ff0f7503a9347f511f0 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -66,9 +66,9 @@ matitac.opt: $(LIBX_DEPS) $(CMXS) matitac.ml
        $(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) matitac.ml
 
 cicbrowser: matita
-       test -f $@ || ln $< $@
+       test -f $@ || ln -s $< $@
 cicbrowser.opt: matita.opt
-       test -f $@ || ln $< $@
+       test -f $@ || ln -s $< $@
 
 matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
        $(LABLGLADECC) $< > matitaGeneratedGui.ml