diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-09 15:47:52 -0500 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-09 15:47:52 -0500 |
| commit | 7d377ed47ee3dc29a5344ba908e18ee2ff0d0ab1 (patch) | |
| tree | 640bd8b4ab11ab2406a05a194422be81010b050c /doc | |
| parent | 7973a4486f47adaa0d8a69eaae4d689a47cec201 (diff) | |
| download | roux-7d377ed47ee3dc29a5344ba908e18ee2ff0d0ab1.tar.gz | |
trim verbatim items
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/txt/txt.ml | 7 |
1 files changed, 2 insertions, 5 deletions
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 = |