X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=Makefile;h=232aa1f80d95519738d8ab420965ce9fb8edc03d;hb=8752950c30a84d2971e84677be17052bc412191f;hp=fc1550ec94feb9b7b6c33655a9d4169097c4efb4;hpb=a1af4a99268336a0cbdc29c612d49b865e18bc0a;p=platal.git

diff --git a/Makefile b/Makefile
index fc1550e..232aa1f 100644
--- a/Makefile
+++ b/Makefile
@@ -43,7 +43,7 @@ q:
 ##
 
 core:
-	[ -d core ] || ( git submodule init && git submodule update )
+	[ -d core/.git ] || ( git submodule init && git submodule update )
 	make -C core all
 
 ##
@@ -161,16 +161,15 @@ $(MEDAL_THUMBNAILS): $(subst /medals/thumb/,/medals/,$(@F))
 JQUERY_PLUGINS=color
 JQUERY_PLUGINS_PATHES=$(addprefix htdocs/javascript/jquery.,$(addsuffix .js,$(JQUERY_PLUGINS)))
 
-jquery: htdocs/javascript/jquery.js htdocs/javascript/jquery.autocomplete.js $(JQUERY_PLUGINS_PATHES)
+# TODO: jquery.autocomplete.js should rather be downloaded from an official source. The issue
+# is that the version we use is not available anymore on the Internet, and the latest version
+# we could use is not backward compatible with our current code.
+jquery: htdocs/javascript/jquery.js $(JQUERY_PLUGINS_PATHES)
 
 htdocs/javascript/jquery.js: DOWNLOAD_SRC = http://jquery.com/src/jquery-latest.min.js
 htdocs/javascript/jquery.js:
 	@$(download)
 
-htdocs/javascript/jquery.autocomplete.js: DOWNLOAD_SRC = http://jquery-autocomplete.googlecode.com/svn/trunk/jquery.autocomplete.js
-htdocs/javascript/jquery.autocomplete.js:
-	@$(download)
-
 $(JQUERY_PLUGINS_PATHES): DOWNLOAD_SRC = http://plugins.jquery.com/files/$(@F).txt
 $(JQUERY_PLUGINS_PATHES):
 	@$(download)