src/Pure/Thy/present.ML
changeset 43712 3c2c912af2ef
parent 43437 55866987a7d9
child 43850 7f2cbc713344
     1.1 --- a/src/Pure/Thy/present.ML	Fri Jul 08 20:27:09 2011 +0200
     1.2 +++ b/src/Pure/Thy/present.ML	Fri Jul 08 21:44:47 2011 +0200
     1.3 @@ -461,7 +461,7 @@
     1.4  
     1.5      val files_html = files |> map (fn (raw_path, loadit) =>
     1.6        let
     1.7 -        val path = Thy_Load.check_file dir raw_path;
     1.8 +        val path = File.check_file (File.full_path dir raw_path);
     1.9          val base = Path.base path;
    1.10          val base_html = html_ext base;
    1.11          val _ = add_file (Path.append html_prefix base_html,