src/Pure/Thy/present.ML
changeset 43850 7f2cbc713344
parent 43712 3c2c912af2ef
child 44389 a3b5fdfb04a3
     1.1 --- a/src/Pure/Thy/present.ML	Sat Jul 16 20:14:58 2011 +0200
     1.2 +++ b/src/Pure/Thy/present.ML	Sat Jul 16 20:52:41 2011 +0200
     1.3 @@ -324,7 +324,7 @@
     1.4        \-n '" ^ name ^ "' -t '" ^ tags ^ "' " ^ File.shell_path path ^ " 2>&1";
     1.5      val doc_path = Path.append result_path (Path.ext format (Path.basic name));
     1.6      val _ = if verbose then writeln s else ();
     1.7 -    val (out, rc) = bash_output s;
     1.8 +    val (out, rc) = Isabelle_System.bash_output s;
     1.9      val _ =
    1.10        if not (File.exists doc_path) orelse rc <> 0 then
    1.11          cat_error out ("Failed to build document " ^ quote (show_path doc_path))