From 7d377ed47ee3dc29a5344ba908e18ee2ff0d0ab1 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Wed, 9 Mar 2016 15:47:52 -0500
Subject: trim verbatim items

---
 doc/txt/txt.ml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'doc')

diff --git a/doc/txt/txt.ml b/doc/txt/txt.ml
index d2c4f27..1b467ef 100644
--- a/doc/txt/txt.ml
+++ b/doc/txt/txt.ml
@@ -111,12 +111,9 @@ let getverb lines idnt =
       pop lines;
       f (dedent l idnt :: ls)
     | _ ->
-      let ls =
-        if List.hd ls = ""
-          then List.tl ls
-          else ls in
       List.rev ls |>
-      String.concat "\n" in
+      String.concat "\n" |>
+      String.trim in
   f []
 
 let getpar lines idnt =
-- 
cgit 1.4.1