X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/8babbc8f18fe06ec20e19630a1ec09e759c380e1..97111a47d707638a835d7498276ac6768a052ee8:/Makefile.dev

diff --git a/Makefile.dev b/Makefile.dev
index 62b1f23..2e571a5 100644
--- a/Makefile.dev
+++ b/Makefile.dev
@@ -14,7 +14,7 @@ website:
 	cp $(TMP)/$(PACKAGE)-bin-x86-python.tgz $(WEBSITE)
 	cp $(TMP)/$(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz          $(WEBSITE)
 	cp $(TMP)/$(PACKAGE)-bin-bytecode-$(OCAMLVERSION)-python.tgz   $(WEBSITE)
-	cd $(WEBSITE); cvs add $(PACKAGE).tgz               \
+	cd $(WEBSITE); svn add $(PACKAGE).tgz               \
 		$(PACKAGE)-bin-x86.tgz                      \
 		$(PACKAGE)-bin-x86-python.tgz               \
 		$(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz \
@@ -53,9 +53,11 @@ diff_darcs:
 # Git Developer rules
 ##############################################################################
 gitupdate:
-	git cvsimport -d :ext:topps:/var/cvs/cocci  coccinelle
+	echo "you should pull from the git repository"
+#	git cvsimport -d :ext:topps:/var/cvs/cocci  coccinelle
 
-UBUNTU=karmic lucid maverick natty
+#UBUNTU=karmic lucid maverick natty
+UBUNTU=lucid maverick natty
 UBUNTURELEASE=$(UBUNTU:%=ubuntu-%)
 
 .PHONY:: ubuntu $(UBUNTURELEASE)