doc-src/antiquote_setup.ML
changeset 47825 4f25960417ae
parent 46524 8d51b375e926
child 48554 011cbb395d46
     1.1 --- a/doc-src/antiquote_setup.ML	Sat Apr 28 17:05:31 2012 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Sat Apr 28 17:50:42 2012 +0200
     1.3 @@ -149,7 +149,8 @@
     1.4    in defined thy o intern thy end;
     1.5  
     1.6  fun check_tool name =
     1.7 -  File.exists (Path.append (Path.explode "~~/lib/Tools") (Path.basic name));
     1.8 +  let val tool_dirs = map Path.explode ["~~/lib/Tools", "~~/src/Tools/jEdit/lib/Tools"]
     1.9 +  in exists (fn dir => File.exists (Path.append dir (Path.basic name))) tool_dirs end;
    1.10  
    1.11  val arg = enclose "{" "}" o clean_string;
    1.12