diff -r 74cb08ff2e66 -r 99b1cf1e2d48 src/HOL/ROOT
--- a/src/HOL/ROOT	Sun Jul 22 14:15:04 2018 +0200
+++ b/src/HOL/ROOT	Sun Jul 22 19:29:51 2018 +0200
@@ -84,7 +84,18 @@
   theories
     Real_Asymp
     Real_Asymp_Approx
-    Real_Asymp_Examples    
+    Real_Asymp_Examples
+
+session "HOL-Real_Asymp-Manual" in "Real_Asymp/Manual" = "HOL-Real_Asymp" +
+  theories
+    Real_Asymp_Doc
+  document_files (in "~~/src/Doc")
+    "iman.sty"
+    "extra.sty"
+    "isar.sty"
+  document_files
+    "root.tex"
+    "style.sty"
 
 session "HOL-Hahn_Banach" in Hahn_Banach = "HOL-Library" +
   description {*