Merge pull request #788 from ivan-m/header-location
Move location of header information
commita9bc22d5c99b2de41ebf66b5d01ecf4d41faa12b
authorOleg Grenrus <oleg.grenrus@iki.fi>
dateMon 31 Jul 2017, 11:40 (9 years ago)
parent53b3527a2c6ef7
servant-docs/src/Servant/Docs/Internal.hs+6−1
@@ -588,7 +588,12 @@ markdown api = unlines $
588588
589589 headersStr :: [Text] -> [String]
590590 headersStr [] = []
591− headersStr l = [""] ++ map headerStr l ++ [""]
591+ headersStr l =
592+ "#### Headers:" :
593+ "" :
594+ map headerStr l ++
595+ "" :
596+ []
592597
593598 where headerStr hname = "- This endpoint is sensitive to the value of the **"
594599 ++ unpack hname ++ "** HTTP header."