diff options
| author | Ingo Schwarze <schwarze@openbsd.org> | 2020-02-12 21:15:53 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2020-02-12 21:15:53 +0000 |
| commit | ed3da15b41e312c05f00a51c74edd1b002c217bf (patch) | |
| tree | 915770301ef3de40298ae40d7640b34e3e69d60a /roff_html.c | |
| parent | 1d0f2d637cc2cee6b45e3734b1cb714b5320f253 (diff) | |
| download | mandoc-ed3da15b41e312c05f00a51c74edd1b002c217bf.tar.gz | |
In roff, a space character at the beginning of an input line requires
starting a new output line, and merely starting a new line of HTML
code isn't sufficient to achieve that. Solve this in the same way
as mdoc_html.c already does it, by printing a <br/> element.
Fixing a bug reported by Jason A. Donenfeld <Jason at zx2c4 dot com>
in the wg-quick(8) manual page on manpages.debian.org.
Diffstat (limited to 'roff_html.c')
0 files changed, 0 insertions, 0 deletions