[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Groff] Avoiding pagination (bug and fix in grohtml)
From: |
Gaius Mulley |
Subject: |
Re: [Groff] Avoiding pagination (bug and fix in grohtml) |
Date: |
Wed, 20 Jun 2001 12:34:08 +0100 |
Timothy Groves <address@hidden> writes:
> I could only find groff 1.17, and while it paginates correctly, it
> unfortunately has forgotten that a blank line=paragraph start...This
> only occurs (again) in grohtml. How do I switch that back on?
yes this is definitely a bug in grohtml, and here is the patch
relative to the current cvs snapshot:
Thanks for reporting the bug,
Gaius
--- groff-cvs/src/roff/troff/div.cc Mon May 7 14:36:25 2001
+++ groff-html/src/roff/troff/div.cc Wed Jun 20 12:25:29 2001
@@ -767,9 +767,10 @@
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();
}
- Re: [Groff] Avoiding pagination (bug and fix in grohtml),
Gaius Mulley <=