Skip to content

Commit

Permalink
Change Soft_break to emit space character in markdown renderer (#119)
Browse files Browse the repository at this point in the history
  • Loading branch information
sabine authored Aug 11, 2023
1 parent c3ff187 commit 675f0a0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/voodoo-gen/markdown.ml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ let rec inline : 'attr inline -> Odoc_document.Types.Inline.t = function
| Code (_, c) ->
[ { desc = Source [ Elt [ { desc = Text c; attr = [] } ] ]; attr = [] } ]
| Hard_break _ -> [ { desc = Linebreak; attr = [] } ]
| Soft_break _ -> [ { desc = Linebreak; attr = [] } ]
| Soft_break _ -> [ { desc = Text " "; attr = [] } ]
| Link (_, l) ->
[ { desc = Link (l.destination, inline l.label); attr = [] } ]
| Image _ -> []
Expand Down

0 comments on commit 675f0a0

Please sign in to comment.