--- a/src/Pure/Tools/build.scala Sun Mar 15 19:48:49 2015 +0100
+++ b/src/Pure/Tools/build.scala Sun Mar 15 20:35:47 2015 +0100
@@ -260,8 +260,9 @@
def parse_entries(root: Path): List[(String, Session_Entry)] =
{
val toks = Token.explode(root_syntax.keywords, File.read(root))
+ val start = Token.Pos.file(root.implode)
- parse_all(rep(chapter | session_entry), Token.reader(toks, root.implode)) match {
+ parse_all(rep(chapter | session_entry), Token.reader(toks, start)) match {
case Success(result, _) =>
var chapter = chapter_default
val entries = new mutable.ListBuffer[(String, Session_Entry)]