| changeset 81551 | a296642fa0a5 |
| parent 80886 | 5d562dd387ae |
| child 82142 | 508a673c87ac |
--- a/src/Pure/Build/sessions.scala Sat Dec 07 11:13:02 2024 +0100 +++ b/src/Pure/Build/sessions.scala Sat Dec 07 11:59:51 2024 +0100 @@ -709,6 +709,8 @@ def dirs: List[Path] = dir :: directories + def unsorted_chapter: Boolean = chapter == UNSORTED + def main_group: Boolean = groups.contains("main") def doc_group: Boolean = groups.contains("doc")