Index: install.ml
--- install.ml.orig	2006-08-02 17:59:19 +0200
+++ install.ml	2008-05-30 17:49:27 +0200
@@ -104,10 +104,10 @@
 in
 let startdir = Sys.getcwd() in
 try
-	download();
+	(* download(); *)
 	compile();
 	Sys.chdir startdir;
 with
 	Failure msg -> 
 		Sys.chdir startdir;
-		prerr_endline msg; exit 1
\ No newline at end of file
+		prerr_endline msg; exit 1