michael@112: Index: haxe/doc/install.ml
michael@112: --- haxe/doc/install.ml.orig	2007-12-16 14:37:46 +0100
michael@112: +++ haxe/doc/install.ml	2008-05-30 14:06:45 +0200
michael@112: @@ -144,10 +144,10 @@
michael@112:  in
michael@112:  let startdir = Sys.getcwd() in
michael@112:  try
michael@112: -	download();
michael@112: +	(* download(); *)
michael@112:  	compile();
michael@112:  	Sys.chdir startdir;
michael@112:  with
michael@112:  	Failure msg ->
michael@112:  		Sys.chdir startdir;
michael@112: -		prerr_endline msg; exit 1
michael@112: \ No newline at end of file
michael@112: +		prerr_endline msg; exit 1