summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-08 21:00:54 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-08 21:00:54 -0500
commit9f88d9fe994d41e5cf64c68368fb65b51f205faa (patch)
treeca78cd72176e20e0a5f7e3cf0ca9af44d940fc31 /doc
parentf2824733f1130a74987b38355091477ceca15b47 (diff)
downloadroux-9f88d9fe994d41e5cf64c68368fb65b51f205faa.tar.gz
fix verb handling
Diffstat (limited to 'doc')
-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