From cf31eca5977ea309381091e956c642551295ee4b Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Tue, 17 Jan 2012 16:30:53 -0800
Subject: [PATCH] rustdoc: Write a blank line after headers

---
 src/rustdoc/gen.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/rustdoc/gen.rs b/src/rustdoc/gen.rs
index 2366f818246..fd46cc2b17e 100644
--- a/src/rustdoc/gen.rs
+++ b/src/rustdoc/gen.rs
@@ -35,6 +35,7 @@ fn write_markdown(
 fn write_header(ctxt: ctxt, title: str) {
     let hashes = str::from_chars(vec::init_elt('#', ctxt.depth));
     ctxt.w.write_line(#fmt("%s %s", hashes, title));
+    ctxt.w.write_line("");
 }
 
 fn subsection(ctxt: ctxt, f: fn&()) {
@@ -162,4 +163,14 @@ mod tests {
         let markdown = write_markdown_str(doc);
         assert str::contains(markdown, "## Module `moo`");
     }
+
+    #[test]
+    fn should_leave_blank_line_after_header() {
+        let source = "mod morp { }";
+        let ast = parse::from_str(source);
+        let doc = extract::extract(ast, "");
+        let markdown = write_markdown_str(doc);
+        log(error, markdown);
+        assert str::contains(markdown, "Module `morp`\n");
+    }
 }
\ No newline at end of file