src/Pure/Build/browser_info.scala
changeset 82054 cddcc84309a5
parent 82023 9601f5582f33
child 82142 508a673c87ac
equal deleted inserted replaced
82053:e273a9846379 82054:cddcc84309a5
   562     val session_info = session_context.sessions_structure(session_name)
   562     val session_info = session_context.sessions_structure(session_name)
   563 
   563 
   564     val session_dir = context.session_dir(session_name).expand
   564     val session_dir = context.session_dir(session_name).expand
   565     progress.echo("Presenting " + session_name + " in " + session_dir + " ...")
   565     progress.echo("Presenting " + session_name + " in " + session_dir + " ...")
   566 
   566 
   567     Meta_Info.init_directory(context.chapter_dir(session_name))
   567     Meta_Info.init_directory(context.chapter_dir(session_name), permissive = true)
   568     Meta_Info.clean_directory(session_dir)
   568     Meta_Info.clean_directory(session_dir)
   569 
   569 
   570     val session = context.document_info.the_session(session_name)
   570     val session = context.document_info.the_session(session_name)
   571 
   571 
   572     Bytes.write(session_dir + session_graph_path,
   572     Bytes.write(session_dir + session_graph_path,