Merge pull request #788 from ivan-m/header-location

Move location of header information
2017-07-31 11:40:41 +03:00 · 2017-07-31 11:40:41 +03:00 · a9bc22d5c9
commit a9bc22d5c9
parent 53b352711b a2c6ef773d
1 changed files with 6 additions and 1 deletions
--- a/servant-docs/src/Servant/Docs/Internal.hs
+++ b/servant-docs/src/Servant/Docs/Internal.hs
@ -588,7 +588,12 @@ markdown api = unlines $

        headersStr :: [Text] -> [String]
        headersStr [] = []
-        headersStr l = [""] ++ map headerStr l ++ [""]
+        headersStr l =
+          "#### Headers:" :
+          "" :
+          map headerStr l ++
+          "" :
+          []

          where headerStr hname = "- This endpoint is sensitive to the value of the **"
                               ++ unpack hname ++ "** HTTP header."