[docmaker] Don't emit trailing newlines. * src/tools/docmaker/tohtml.py (HtmlFormatter::make_html_code): Use `rstrip'.
diff --git a/ChangeLog b/ChangeLog
index a19b4de..21b5c9e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2016-02-09 Werner Lemberg <wl@gnu.org>
+
+ [docmaker] Don't emit trailing newlines.
+
+ * src/tools/docmaker/tohtml.py (HtmlFormatter::make_html_code):
+ Use `rstrip'.
+
2016-02-07 Werner Lemberg <wl@gnu.org>
* Version 2.6.3 released.
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index 8da10b8..9b28780 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -390,7 +390,7 @@ class HtmlFormatter( Formatter ):
"""Convert a code sequence to HTML."""
line = code_header + '\n'
for l in lines:
- line = line + html_quote( l ) + '\n'
+ line = line + html_quote( l ).rstrip() + '\n'
return line + code_footer