src/Pure/Thy/present.ML

 val tex_path = tex_ext o Path.basic;
 val html_ext = Path.ext "html";
 val html_path = html_ext o Path.basic;
 val index_path = Path.basic "index.html";
 val readme_html_path = Path.basic "README.html";
-val documentN = "document";
-val document_path = Path.basic documentN;
 val doc_indexN = "session";
 val session_graph_path = Path.basic "session_graph.pdf";
 
 fun show_path path = Path.implode (Path.expand (File.full_path Path.current path));