diff options
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 = |