put intro titles at the same level as the endpoints
This commit is contained in:
parent
c2211e9534
commit
b6f7efe8e2
1 changed files with 1 additions and 1 deletions
|
@ -495,7 +495,7 @@ markdown api = unlines $
|
||||||
|
|
||||||
introStr :: DocIntro -> [String]
|
introStr :: DocIntro -> [String]
|
||||||
introStr i =
|
introStr i =
|
||||||
("#### " ++ i ^. introTitle) :
|
("## " ++ i ^. introTitle) :
|
||||||
"" :
|
"" :
|
||||||
intersperse "" (i ^. introBody) ++
|
intersperse "" (i ^. introBody) ++
|
||||||
"" :
|
"" :
|
||||||
|
|
Loading…
Reference in a new issue