--- a/src/Pure/Tools/build.scala Fri Jan 19 14:55:00 2018 +0100
+++ b/src/Pure/Tools/build.scala Fri Jan 19 14:55:46 2018 +0100
@@ -212,16 +212,14 @@
pair(Path.encode, pair(list(pair(Path.encode, Path.encode)), pair(string,
pair(string, pair(string, pair(string, pair(Path.encode,
pair(list(pair(Options.encode, list(pair(string, properties)))),
- pair(list(string), pair(list(pair(string, string)), pair(list(string),
- pair(list(pair(string, string)), list(string)))))))))))))))))(
+ pair(list(string), pair(list(string), pair(list(pair(string, string)),
+ pair(list(string), pair(list(pair(string, string)), list(string))))))))))))))))))(
(Symbol.codes, (command_timings, (do_output, (verbose,
(store.browser_info, (info.document_files, (File.standard_path(graph_file),
(parent, (info.chapter, (name, (Path.current,
- (info.theories, (base.known.sessions.toList,
- (base.global_theories.toList,
- (base.loaded_theories.keys,
- (base.dest_known_theories,
- info.bibtex_entries.map(_.info))))))))))))))))))
+ (info.theories, (base.known.sessions.toList, (base.doc_names,
+ (base.global_theories.toList, (base.loaded_theories.keys, (base.dest_known_theories,
+ info.bibtex_entries.map(_.info)))))))))))))))))))
})
val env =