[docmaker] Properly handle empty rows in Synopsis. * src/tools/docmaker/tohtml.py (HtmlFormatter::section_enter): Emit ` ' for empty fields.
diff --git a/ChangeLog b/ChangeLog
index 27ff990..7979bfc 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,12 @@
2014-12-02 Werner Lemberg <wl@gnu.org>
+ [docmaker] Properly handle empty rows in Synopsis.
+
+ * src/tools/docmaker/tohtml.py (HtmlFormatter::section_enter): Emit
+ ` ' for empty fields.
+
+2014-12-02 Werner Lemberg <wl@gnu.org>
+
[docmaker] Thinko.
* src/tools/docmaker/content.py (DocBlock::get_markup_words_all):
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index e05512a..9b2f291 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -594,7 +594,13 @@ class HtmlFormatter( Formatter ):
line = line + '<td>'
if i < count:
name = section.block_names[i]
- if name != "/empty/":
+ if name == "/empty/":
+ # it can happen that a complete row is empty, and
+ # without a proper `filler' the browser might
+ # collapse the row to a much smaller height (or
+ # even omit it completely)
+ line = line + " "
+ else:
line = ( line + '<a href="#' + name + '">'
+ name + '</a>' )