diff -r 450cefec7c11 -r cc19f7ca2ed6 src/Doc/ROOT
--- a/src/Doc/ROOT	Fri Aug 18 13:55:05 2017 +0200
+++ b/src/Doc/ROOT	Fri Aug 18 20:47:47 2017 +0200
@@ -48,7 +48,7 @@
   options [document_variants = "corec"]
   sessions
     Datatypes
-  theories [document = false] "../Datatypes/Setup"
+  theories [document = false] Datatypes.Setup
   theories Corec
   document_files (in "..")
     "prepare_document"
@@ -249,8 +249,8 @@
   sessions
     "HOL-Library"
   theories [document = false]
-    "~~/src/HOL/Library/LaTeXsugar"
-    "~~/src/HOL/Library/OptionalSugar"
+    "HOL-Library.LaTeXsugar"
+    "HOL-Library.OptionalSugar"
   theories Sugar
   document_files (in "..")
     "prepare_document"