remove redundant heading

Author: lubegasimon

src/markdown/generator.ml

@@ -22,8 +22,8 @@ let rec source_code (s : Source.t) args =
       let continue s = if s = [] then noop else source_code s args in
       match h with
       | Source.Elt i -> inline i args ++ continue t
-      | Tag (None, s) -> continue s ++ continue t
-      | Tag (Some _, s) -> continue s ++ continue t)
+      | Tag (_, s) -> continue s ++ continue t
+      (* | Tag (Some _, s) -> continue s ++ continue t *))
 
 and inline (l : Inline.t) args =
   match l with
@@ -130,6 +130,20 @@ let take_code l =
   in
   (c, rest)
 
+let rec source_contains_text (s : Source.t) =
+  let inline_contains_text (i : Inline.t) =
+    let check_inline_desc (i : Inline.desc) =
+      match i with Text "" -> false | Text _ -> true | _ -> true
+    in
+    List.exists (fun { Inline.desc = d; _ } -> check_inline_desc d) i
+  in
+  let check_source (s : Source.token) =
+    match s with
+    | Source.Elt i -> inline_contains_text i
+    | Tag (_, s) -> source_contains_text s
+  in
+  List.exists check_source s
+
 let rec documented_src (l : DocumentedSrc.t) args nbsps =
   let nbsps' = nbsps ++ (nbsp ++ nbsp) in
   let noop = paragraph noop in
@@ -138,11 +152,13 @@ let rec documented_src (l : DocumentedSrc.t) args nbsps =
   | line :: rest -> (
       let continue r = if r = [] then noop else documented_src r args nbsps in
       match line with
-      | Code _ ->
-          let c, rest = take_code l in
-          blocks
-            (paragraph (join (join item_prop nbsps') (source_code c args)))
-            (continue rest)
+      | Code s ->
+          if source_contains_text s then
+            let c, rest = take_code l in
+            blocks
+              (paragraph (join (join item_prop nbsps') (source_code c args)))
+              (continue rest)
+          else noop
       | Alternative _ -> continue rest
       | Subpage p -> blocks (subpage p.content args nbsps') (continue rest)
       | Documented _ | Nested _ ->

test/integration/markdown.t/run.t

@@ -40,8 +40,6 @@
 
   first day of the week.
 
-  ######               
-  
   ######             type num = [ 
 
   ######               |  `One