diff options
author | wlemb <wlemb> | 2001-06-21 07:55:57 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2001-06-21 07:55:57 +0000 |
commit | d707affcfd4bc04b3e991b4bd0ab1d1dd06b8cb4 (patch) | |
tree | 85224ef1dae0f76ee97842e119d3c8d7dd7fd877 /src | |
parent | ee81e9017901746d6b20d79d68823f644a7ae258 (diff) | |
download | groff-d707affcfd4bc04b3e991b4bd0ab1d1dd06b8cb4.tar.gz |
* src/roff/preproc/html/pre-html.cc (make_message): Fix incorrect
image names.
* src/roff/troff/dic.cc (blank_line): Add html tag.
Diffstat (limited to 'src')
-rw-r--r-- | src/preproc/html/pre-html.cc | 2 | ||||
-rw-r--r-- | src/roff/troff/div.cc | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/src/preproc/html/pre-html.cc b/src/preproc/html/pre-html.cc index 59399f48..b41a34e1 100644 --- a/src/preproc/html/pre-html.cc +++ b/src/preproc/html/pre-html.cc @@ -287,7 +287,7 @@ make_message (const char *fmt, ...) strcpy(np, p); strcat(np, s); strcat(np, l); - search += strlen(s)-2; + search += strlen(s); break; case '%': /* remove one of the two % that we have seen */ diff --git a/src/roff/troff/div.cc b/src/roff/troff/div.cc index 0ca45c32..c885ca80 100644 --- a/src/roff/troff/div.cc +++ b/src/roff/troff/div.cc @@ -767,9 +767,10 @@ void space_request() void blank_line() { curenv->do_break(); - if (!trap_sprung_flag && !curdiv->no_space_mode) + if (!trap_sprung_flag && !curdiv->no_space_mode) { curdiv->space(curenv->get_vertical_spacing()); - else + curenv->add_html_tag(".sp", 1); + } else truncated_space += curenv->get_vertical_spacing(); } |