ref: aaffbf85df8b02b469eb76e22354c2bab6759ae6
parent: 434bc695739e9c679bfc09c0f9637930146ee35c
author: Werner Lemberg <[email protected]>
date: Sat Nov 29 18:26:46 EST 2014
Minor.
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -552,9 +552,7 @@
def section_enter( self, section ):
print self.html_header
- print section_title_header
- print section.title
- print section_title_footer
+ print section_title_header + section.title + section_title_footer
maxwidth = 0
for b in section.blocks.values():