matitaclean now call getter.ls using a buri with a trailing /

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

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 73cf367a910eec19dac55ee328ed4b25d2159941..5721ad9545cb4aecf61a6164cd2f999a98df2f7d 100644 (file)
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -43,13 +43,13 @@ $(DEPEND_NAME): $(SRC) $(LINKS)
 
 # Let's prepare the environment
 .matita:
-       @ln -s ../.matita .
+       @ln -fs ../.matita .
 
 matita.lang:
-       @ln -s ../matita.lang .
+       @ln -fs ../matita.lang .
 
 matita.conf.xml:
-       @ln -s ../matita.conf.xml .
+       @ln -fs ../matita.conf.xml .
 #done
 
 include $(DEPEND_NAME)