From aaffbf85df8b02b469eb76e22354c2bab6759ae6 Mon Sep 17 00:00:00 2001
From: Werner Lemberg <wl@gnu.org>
Date: Sat, 29 Nov 2014 23:26:46 +0100
Subject: [PATCH] Minor.

---
 src/tools/docmaker/tohtml.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index cd170451e..aa1a7a97d 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -552,9 +552,7 @@ class  HtmlFormatter( Formatter ):
     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():