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.

diff --git a/posts/script/script-publish.py b/posts/script/script-publish.py
index 4f750e481091a68eee7139cce5a84a87fc52922c..fa2574d3bd5980ab8a8bc538ffc569aed1f9e8f9 100755 (executable)
--- 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: