The unified diff between revisions [3f08ab21..] and [5b27e321..] is displayed below. It can also be downloaded as a raw diff.

#
#
# patch "main.ml"
#  from [8e7e32724f4bd07a10a9c6caee878dfff2b33281]
#    to [1f365f25836aaadbd1d4507370aa9d5060bfac2c]
#
============================================================
--- main.ml	8e7e32724f4bd07a10a9c6caee878dfff2b33281
+++ main.ml	1f365f25836aaadbd1d4507370aa9d5060bfac2c
@@ -20,12 +20,12 @@ let find_MT_dir () =
     | "/" -> raise Not_found
     | p ->
 	let d = Filename.dirname p in
-	let m = Filename.concat d "MT" in
+	let m = Filename.concat d "_MTN" in
 	if Sys.file_exists m
 	then m
 	else up d in
-  if Sys.file_exists "MT"
-  then "MT"
+  if Sys.file_exists "_MTN"
+  then "_MTN"
   else up (Sys.getcwd ())

 let parse_MT_options () =