From 8b8acfcc6cac219882afce6e1153f13d96e66202 Mon Sep 17 00:00:00 2001
From: "W. Trevor King" <wking@tremily.us>
Date: Thu, 17 Jan 2013 17:06:27 -0500
Subject: [PATCH] script-publish.py: Fix double-spacing in <pre> by removing \n

This makes the HTML less readable, but it's not worth the trouble to
make these HTML-readability endlines optional.
---
 posts/script/script-publish.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/posts/script/script-publish.py b/posts/script/script-publish.py
index 4f750e4..fa2574d 100755
--- a/posts/script/script-publish.py
+++ b/posts/script/script-publish.py
@@ -651,7 +651,10 @@ class ControlParser (object):
                 cc = chunk.control_code
                 if cc.name in ['scroll forward', 'clear screen']:
                     e = _etree.Element('br')
-                    e.tail = '\n'
+                    # the following line is useful for debugging HTML
+                    # output, but if you're inside a <pre> block,
+                    # <br/>\n will give you double-spaced lines.
+                    #e.tail = '\n'
                     element.append(e)
                     previous = e
                 else:
-- 
2.26.2