summary refs log tree commit diff
path: root/doc/txt.ml
diff options
context:
space:
mode:
Diffstat (limited to 'doc/txt.ml')
-rw-r--r--doc/txt.ml6
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/txt.ml b/doc/txt.ml
index 6c72bf6..12e33e8 100644
--- a/doc/txt.ml
+++ b/doc/txt.ml
@@ -94,7 +94,9 @@ let isulist l = endbul l <> 0
 let getverb lines idnt =
   let rec f ls =
     match top lines with
-    | Some (n, i, l) when i >= idnt || l = "" ->
+    | Some (n, i, l)
+      when i >= idnt
+        || dedent l (i+1) = "" ->
       pop lines;
       f (dedent l idnt :: ls)
     | _ ->
@@ -166,7 +168,7 @@ let rec getdoc lines si acc =
           pop lines;
           l
         end in
-      let verb = getverb lines i in
+      let verb = getverb lines (si+1) in
       getdoc lines si (Verb (ty, verb) :: acc);
     end else
     if si = 0 && String.haspref "~ " l