also consider current working directory (cf. 3a5a5a992519)
1.1 --- a/src/Tools/Code/code_target.ML Sat Jul 21 17:49:22 2012 +0200
1.2 +++ b/src/Tools/Code/code_target.ML Sat Jul 21 20:01:16 2012 +0200
1.3 @@ -373,7 +373,8 @@
1.4 fun assert_module_name "" = error ("Empty module name not allowed.")
1.5 | assert_module_name module_name = module_name;
1.6
1.7 -fun using_master_directory thy = Option.map (Path.append (Thy_Load.master_directory thy));
1.8 +fun using_master_directory thy =
1.9 + Option.map (Path.append (File.pwd ()) o Path.append (Thy_Load.master_directory thy));
1.10
1.11 in
1.12